دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings
دانلود کتاب نرم افزار بررسی مدل: بیست و نهمین سمپوزیوم بین المللی، SPIN 2023، پاریس، فرانسه، 26-27 آوریل 2023، مجموعه مقالات
مشخصات کتاب
Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings
ویرایش:
نویسندگان: Georgiana Caltais. Christian Schilling
سری: Lecture Notes in Computer Science, 13872
ISBN (شابک) : 3031321561, 9783031321566
ناشر: Springer
سال نشر: 2023
تعداد صفحات: 201
[202]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 6 Mb
قیمت کتاب (تومان) : 52,000
در صورت تبدیل فایل کتاب Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نرم افزار بررسی مدل: بیست و نهمین سمپوزیوم بین المللی، SPIN 2023، پاریس، فرانسه، 26-27 آوریل 2023، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Number Theory in the Spirit of Liouville
دانلود کتاب Industry 4.0 in Small and Medium-Sized Enterprises (SMEs): Opportunities, Challenges, and Solutions
دانلود کتاب Analyse von Rechensystemen: Analytische Methoden zur Leistungsbewertung und Leistungsvorhersage
دانلود کتاب Communist Czechoslovakia: 1945-89: a political and social history
