دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings
دانلود کتاب نرم افزار بررسی مدل: بیست و ششمین سمپوزیوم بین المللی، SPIN 2019، پکن، چین، 15 تا 16 ژوئیه، 2019، مجموعه مقالات
مشخصات کتاب
Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings
ویرایش: [1st ed. 2019] نویسندگان: Fabrizio Biondi, Thomas Given-Wilson, Axel Legay سری: Lecture Notes in Computer Science 11636 ISBN (شابک) : 9783030309220, 9783030309237 ناشر: Springer International Publishing سال نشر: 2019 تعداد صفحات: X, 261 [269] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 12 Mb
قیمت کتاب (تومان) : 49,000
در صورت تبدیل فایل کتاب Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نرم افزار بررسی مدل: بیست و ششمین سمپوزیوم بین المللی، SPIN 2019، پکن، چین، 15 تا 16 ژوئیه، 2019، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The Book of F#: Breaking Free with Managed Functional Programming
دانلود کتاب A Theory of Fairness and Social Welfare (Econometric Society Monographs)
دانلود کتاب Racismo linguístico: os subterrâneos da linguagem e do racismo
دانلود کتاب Atlas of Cosmetic and Reconstructive Periodontal Surgery 3/E
