Formal methods traditionally address the question of transforming software engineering into a mature engineering discipline. This essentially refers to trusting that the software-intensive systems that form our society’s infrastructures are behaving according to their specifications. More recently, formal methods are also used to understand propert
قم بشراء هذا الكتاب الإلكتروني واحصل على كتاب آخر مجانًا!
لغة الإنجليزية ● شكل PDF ● صفحات 312 ● ISBN 9781498701594 ● محرر Luigia Petre & Emil Sekerinski ● الناشر CRC Press ● نشرت 2016 ● للتحميل 3 مرات ● دقة EUR ● هوية شخصية 4917136 ● حماية النسخ Adobe DRM
يتطلب قارئ الكتاب الاليكتروني قادرة DRM