دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Computer Aided Verification. 33rd International Conference, CAV 2021 Virtual Event, July 20–23, 2021 Proceedings
دانلود کتاب تأیید به کمک رایانه سی و سومین کنفرانس بین المللی، رویداد مجازی CAV 2021، مجموعه مقالات 20 تا 23 ژوئیه 2021
مشخصات کتاب
Computer Aided Verification. 33rd International Conference, CAV 2021 Virtual Event, July 20–23, 2021 Proceedings
ویرایش: [Part I]
نویسندگان: Alexandra Silva. K. Rustan M. Leino
سری: Lecture Notes in Computer Science, 12759
ISBN (شابک) : 9783030816841, 9783030816858
ناشر: Springer
سال نشر: 2021
تعداد صفحات: [939]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 32 Mb
قیمت کتاب (تومان) : 33,000
در صورت تبدیل فایل کتاب Computer Aided Verification. 33rd International Conference, CAV 2021 Virtual Event, July 20–23, 2021 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تأیید به کمک رایانه سی و سومین کنفرانس بین المللی، رویداد مجازی CAV 2021، مجموعه مقالات 20 تا 23 ژوئیه 2021 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
نظرات کاربران
کتاب های تصادفی
دانلود کتاب A Comprehensive Introduction to Object-Oriented Programming with Java
دانلود کتاب Bbi Combinatory Dictionary of English: A Guide to Word Combinations
دانلود کتاب 33 Ingredient Substitutions to Help You Cook Amazing Foods Even When Your Cupboards Are Bare
دانلود کتاب High-Resolution Continuum Source AAS: The Better Way to Do Atomic Absorption Spectrometry
