دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings
دانلود کتاب نرم افزار بررسی مدل: 29th سمپوزیوم بین المللی ، چرخش 2023 ، پاریس ، فرانسه ، 26-27 آوریل ، 2023 ، مجموعه مقالات
مشخصات کتاب
Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings
ویرایش: نویسندگان: Georgiana Caltais, Christian Schilling سری: ISBN (شابک) : 9783031321573, 303132157X ناشر: Springer Nature سال نشر: 2023 تعداد صفحات: 0 زبان: English فرمت فایل : EPUB (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 18 مگابایت
قیمت کتاب (تومان) : 87,000
در صورت تبدیل فایل کتاب Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نرم افزار بررسی مدل: 29th سمپوزیوم بین المللی ، چرخش 2023 ، پاریس ، فرانسه ، 26-27 آوریل ، 2023 ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Impossible Love: The True Story of an African Civil War, Miracles and Hope against All Odds
دانلود کتاب Consistency and Viability of Socialist Economic Systems
دانلود کتاب Oxford Dictionary of National Biography - volume 14 Cranfield–Dalwood
دانلود کتاب 探路之役: 1978-1992年的中国经济改革
