ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

دانلود کتاب تأیید، بررسی مدل، و تفسیر چکیده: بیست و پنجمین کنفرانس بین المللی، VMCAI 2024، لندن، بریتانیا، 15–16 ژانویه 2024، ... قسمت دوم (یادداشت های سخنرانی در علوم کامپیوتر)

مشخصات کتاب

Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, ... Part II (Lecture Notes in Computer Science)

ویرایش:  
نویسندگان: Rayna Dimitrova (editor),  Ori Lahav (editor),  Sebastian Wolff (editor)  
سری:  
ISBN (شابک) : 3031505204, 9783031505201 
ناشر: Springer 
سال نشر: 2024 
تعداد صفحات: 360
[349] 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 12 Mb

قیمت کتاب (تومان) : 49,000

میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 6

در صورت تبدیل فایل کتاب Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, ... Part II (Lecture Notes in Computer Science) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب تأیید، بررسی مدل، و تفسیر چکیده: بیست و پنجمین کنفرانس بین المللی، VMCAI 2024، لندن، بریتانیا، 15–16 ژانویه 2024، ... قسمت دوم (یادداشت های سخنرانی در علوم کامپیوتر) نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.