دانلود کتاب NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings
کتاب روش‌های رسمی ناسا: دوازدهمین سمپوزیوم بین‌المللی، NFM 2020، Moffett Field، CA، ایالات متحده آمریکا، 11-15 مه 2020، مجموعه مقالات نسخه زبان اصلی
دانلود کتاب روش‌های رسمی ناسا: دوازدهمین سمپوزیوم بین‌المللی، NFM 2020، Moffett Field، CA، ایالات متحده آمریکا، 11-15 مه 2020، مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
توضیحاتی در مورد کتاب NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings
نام کتاب : NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings
ویرایش : 1st ed.
عنوان ترجمه شده به فارسی : روش‌های رسمی ناسا: دوازدهمین سمپوزیوم بین‌المللی، NFM 2020، Moffett Field، CA، ایالات متحده آمریکا، 11-15 مه 2020، مجموعه مقالات
سری : Lecture Notes in Computer Science 12229
نویسندگان : Ritchie Lee, Susmit Jha, Anastasia Mavridou, Dimitra Giannakopoulou
ناشر : Springer International Publishing;Springer
سال نشر : 2020
تعداد صفحات : XXI, 442
[447]
ISBN (شابک) : 9783030557539 , 9783030557546
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 23 Mb
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
فصل «تأیید یک حل‌کننده برای حساب اعداد صحیح مختلط خطی در ایزابل/HOL» تحت مجوز Creative Commons Attribution 4.0 بین‌المللی از طریق link.springer.com با دسترسی آزاد در دسترس است.
توضیحاتی در مورد کتاب به زبان اصلی :
The chapter “Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
پست ها تصادفی