دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings (Lecture Notes in Computer Science, 13255)
دانلود کتاب نرم افزار بررسی مدل: بیست و هشتمین سمپوزیوم بین المللی، SPIN 2022، رویداد مجازی، 21 مه 2022، مجموعه مقالات (یادداشت های سخنرانی در علوم کامپیوتر، 13255)
مشخصات کتاب
Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings (Lecture Notes in Computer Science, 13255)
ویرایش:
نویسندگان: Owolabi Legunsen (editor). Grigore Rosu (editor)
سری:
ISBN (شابک) : 3031150767, 9783031150760
ناشر: Springer
سال نشر: 2022
تعداد صفحات: 162
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 7 Mb
قیمت کتاب (تومان) : 38,000
در صورت تبدیل فایل کتاب Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings (Lecture Notes in Computer Science, 13255) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نرم افزار بررسی مدل: بیست و هشتمین سمپوزیوم بین المللی، SPIN 2022، رویداد مجازی، 21 مه 2022، مجموعه مقالات (یادداشت های سخنرانی در علوم کامپیوتر، 13255) نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
![A to Z of Physicists. Notable Scientists [biographies]](https://books.google.com/books/content/images/frontcover/nrQquAAACAAJ?w=250&usc=0)
