دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Verification, Model Checking, and Abstract Interpretation: 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings
دانلود کتاب تأیید، بررسی مدل، و تفسیر چکیده: بیست و دومین کنفرانس بین المللی، VMCAI 2021، کپنهاگ، دانمارک، 17 تا 19 ژانویه 2021، مجموعه مقالات
مشخصات کتاب
Verification, Model Checking, and Abstract Interpretation: 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings
ویرایش: [1 ed.] نویسندگان: Fritz Henglein (editor), Sharon Shoham (editor), Yakir Vizel (editor) سری: Lecture Notes in Computer Science 12597 ISBN (شابک) : 303067066X, 9783030670665 ناشر: Springer سال نشر: 2021 تعداد صفحات: 619 [608] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 28 Mb
قیمت کتاب (تومان) : 42,000
در صورت تبدیل فایل کتاب Verification, Model Checking, and Abstract Interpretation: 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تأیید، بررسی مدل، و تفسیر چکیده: بیست و دومین کنفرانس بین المللی، VMCAI 2021، کپنهاگ، دانمارک، 17 تا 19 ژانویه 2021، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The Israeli-Palestinian conflict
دانلود کتاب The Zurich axioms : rules of risk and reward used by generations of Swiss bankers
دانلود کتاب Sprekende handen: Een methodiek voor ontmoetingsgroepen met dementerende mensen
