دانلود کتاب Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings
کتاب تأیید، بررسی مدل، و تفسیر چکیده: بیست و سومین کنفرانس بین المللی، VMCAI 2022، فیلادلفیا، PA، ایالات متحده، 16-18 ژانویه 2022، مجموعه مقالات نسخه زبان اصلی
دانلود کتاب تأیید، بررسی مدل، و تفسیر چکیده: بیست و سومین کنفرانس بین المللی، VMCAI 2022، فیلادلفیا، PA، ایالات متحده، 16-18 ژانویه 2022، مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings
نام کتاب : Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings
عنوان ترجمه شده به فارسی : تأیید، بررسی مدل، و تفسیر چکیده: بیست و سومین کنفرانس بین المللی، VMCAI 2022، فیلادلفیا، PA، ایالات متحده، 16-18 ژانویه 2022، مجموعه مقالات
سری : Lecture Notes in Computer Science, 13182
نویسندگان : Bernd Finkbeiner, Thomas Wies
ناشر : Springer
سال نشر : 2022
تعداد صفحات : 0
ISBN (شابک) : 3030945820 , 9783030945824
زبان کتاب : English
فرمت کتاب : epub درصورت درخواست کاربر به PDF تبدیل می شود
حجم کتاب : 55 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
پست ها تصادفی