مشخصات کتاب

Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November ... (Lecture Notes in Computer Science)

ویرایش:  
نویسندگان: Yi Li (editor). Sofiène Tahar (editor)  
سری:  
ISBN (شابک) : 9819975832, 9789819975839 
ناشر: Springer 
سال نشر: 2023 
تعداد صفحات: 332
[320] 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 19 Mb 

در صورت تبدیل فایل کتاب Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November ... (Lecture Notes in Computer Science) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

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

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

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

دانلود کتاب Revolutionary Iran : A History of the Islamic Republic

دانلود کتاب Regularity Theory for Quasilinear Elliptic Systems and Monge-Ampere Equations in Two Dimensions

دانلود کتاب Wort und Gedanke: Zur Kritik sprachlicher Vermittlung bei Platon und Plotin

دانلود کتاب Duden: Das Große Fremdwörterbuch: Herkunft und Bedeutung der Fremdwörter

دانلود کتاب Across Colonial Lines: Commodities, Networks and Empire Building