مشخصات کتاب

Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings (Lecture Notes in Computer Science)

ویرایش:  
نویسندگان: Adrian Riesco (editor). Min Zhang (editor)  
سری:  
ISBN (شابک) : 3031172434, 9783031172434 
ناشر: Springer 
سال نشر: 2022 
تعداد صفحات: 460
[454] 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 12 Mb 

در صورت تبدیل فایل کتاب Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings (Lecture Notes in Computer Science) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب روش‌های رسمی و مهندسی نرم‌افزار: بیست و سومین کنفرانس بین‌المللی روش‌های مهندسی رسمی، ICFEM 2022، مادرید، اسپانیا، 24 تا 27 اکتبر 2022، مجموعه مقالات (یادداشت‌های سخنرانی در علوم کامپیوتر) نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی درمورد کتاب به خارجی

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Technische Mechanik - Statik 2. Auflage - Lehrbuch mit Praxisbeispielen, Klausuraufgaben und Lösungen

دانلود کتاب Ciba Foundation Symposium 28 - The Structure and Function of Chromatin

دانلود کتاب Oral History and Public Memories

دانلود کتاب La Eutonia: Un Camino Hacia la Experiencia Total del Cuerpo

دانلود کتاب Berselancar ke 34 rumah adat Indonesia yuk!