دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, ... Part I (Lecture Notes in Computer Science)
دانلود کتاب تأیید، بررسی مدل، و تفسیر چکیده: بیست و پنجمین کنفرانس بین المللی، VMCAI 2024، لندن، بریتانیا، 15–16 ژانویه 2024، ... قسمت اول (یادداشت های سخنرانی در علوم کامپیوتر)
مشخصات کتاب
Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, ... Part I (Lecture Notes in Computer Science)
ویرایش: نویسندگان: Rayna Dimitrova (editor), Ori Lahav (editor), Sebastian Wolff (editor) سری: ISBN (شابک) : 3031505239, 9783031505232 ناشر: Springer سال نشر: 2024 تعداد صفحات: 372 [361] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 10 Mb
قیمت کتاب (تومان) : 49,000
در صورت تبدیل فایل کتاب Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, ... Part I (Lecture Notes in Computer Science) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تأیید، بررسی مدل، و تفسیر چکیده: بیست و پنجمین کنفرانس بین المللی، VMCAI 2024، لندن، بریتانیا، 15–16 ژانویه 2024، ... قسمت اول (یادداشت های سخنرانی در علوم کامپیوتر) نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Statistische Versuchsplanung: Design of Experiments (DoE)
دانلود کتاب Drink pink: a celebration of rosé
دانلود کتاب Selbst denken_ Eine Anleitung zum Widerstand
