دانلود کتاب Leveraging Applications of Formal Methods, Verification and Validation: Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, October 27–31, 2024, Proceedings, Part IV

دانلود کتاب Leveraging Applications of Formal Methods, Verification and Validation: Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, October 27–31, 2024, Proceedings, Part IV

نویسنده: Tiziana Margaria, Bernhard Steffen

شماره سریال: ۹۷۸۳۰۳۱۷۵۳۸۶۲

ناشر: Springer

سال: ۲۰۲۴

نسخه ناشر (کیفیت اصلی)

purpleribbon save

امتیاز کاربران: (۰.۰) :

حجم فایل

۲.۲۳ مگابایت

تعداد صفحات

None

قیمت کتاب: ۶۶,۹۰۰ تومان

توضیحات

معرفی کتاب Leveraging Applications of Formal Methods, Verification and Validation: Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, October 27–31, 2024, Proceedings, Part IV

کتاب Leveraging Applications of Formal Methods, Verification and Validation: Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, October 27–31, 2024, Proceedings, Part IV نوشته Tiziana Margaria, Bernhard Steffen یکی از آثار مهم در حوزه مربوطه محسوب می‌شود. این کتاب حاوی مطالب ارزشمند و مفیدی است که برای علاقه‌مندان به این موضوع بسیار مناسب می‌باشد.

درباره کتاب Leveraging Applications of Formal Methods, Verification and Validation: Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, October 27–31, 2024, Proceedings, Part IV

این اثر با بهره‌گیری از تجربیات و دانش نویسنده، مطالب جامع و کاربردی را در اختیار خوانندگان قرار می‌دهد.

دانلود کتاب Leveraging Applications of Formal Methods, Verification and Validation: Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, October 27–31, 2024, Proceedings, Part IV را از طریق سایت سایبر یونی تجربه کنید.

پرفروشترین کتاب ها
Introduction to Computer... image
Introduction to Computer Organization: An Under-the-Hood Look at Hardware and...
نویسنده:

Robert G. Plantz

سال انتشار:

۲۰۲۵

Studies in Computer... image
Studies in Computer Science
نویسنده:

Seymour V. Pollack...

سال انتشار:

۱۹۸۲

ISO/IEC ۱۴۴۹۶-۱:۲۰۱۰ Information... image
ISO/IEC ۱۴۴۹۶-۱:۲۰۱۰ Information technology — Coding of audio-visual objects -...
نویسنده:

ISO/IEC JTC ۱/SC...

سال انتشار:

۲۰۱۰

مشاهده تمامی کتاب ها

نوشتن دیدگاه
CAPTCHA
حذف
دیدگاه های شما دیدگاهی وجود ندارد