دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings
دانلود کتاب تأیید، بررسی مدل، و تفسیر چکیده: بیستمین کنفرانس بین المللی، VMCAI 2019، Cascais، پرتغال، 13 تا 15 ژانویه 2019، مجموعه مقالات
مشخصات کتاب
Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings
ویرایش: [1st ed.]
نویسندگان: Constantin Enea. Ruzica Piskac
سری: Lecture Notes in Computer Science 11388
ISBN (شابک) : 9783030112448, 9783030112455
ناشر: Springer International Publishing
سال نشر: 2019
تعداد صفحات: XVII, 602
[617]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 22 Mb
قیمت کتاب (تومان) : 53,000
در صورت تبدیل فایل کتاب Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تأیید، بررسی مدل، و تفسیر چکیده: بیستمین کنفرانس بین المللی، VMCAI 2019، Cascais، پرتغال، 13 تا 15 ژانویه 2019، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Clusterin in Normal Brain Functions and During Neurodegeneration
