مشخصات کتاب

Model Checking Software: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings (Theoretical Computer Science and General Issues)

ویرایش:  
نویسندگان: Alfons Laarman (editor). Ana Sokolova (editor)  
سری:  
ISBN (شابک) : 3030846288, 9783030846282 
ناشر: Springer 
سال نشر: 2021 
تعداد صفحات: 208
[199] 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 8 Mb 

در صورت تبدیل فایل کتاب Model Checking Software: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings (Theoretical Computer Science and General Issues) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب نرم افزار بررسی مدل: بیست و هفتمین سمپوزیوم بین المللی، SPIN 2021، رویداد مجازی، 12 جولای 2021، مجموعه مقالات (علوم کامپیوتر نظری و مسائل عمومی) نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی درمورد کتاب به خارجی

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Accounting and Finance for Non-Specialists

دانلود کتاب Diagnosis and Fault-Tolerant Control

دانلود کتاب Equity and trusts

دانلود کتاب Having It Both Ways: Hybrid Theories and Modern Metaethics

دانلود کتاب Die Subjektkonstitution im europäischen Roman der Moderne: Zur Gestaltung des Selbst und zur Wahrnehmung des Anderen bei Hermann Hesse und Nikos Kazantzakis