Luigia Petre & Emil Sekerinski 
From Action Systems to Distributed Systems [PDF ebook] 
The Refinement Approach

الدعم

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

€57.81
طرق الدفع
قم بشراء هذا الكتاب الإلكتروني واحصل على كتاب آخر مجانًا!
لغة الإنجليزية ● شكل PDF ● صفحات 312 ● ISBN 9781498701594 ● محرر Luigia Petre & Emil Sekerinski ● الناشر CRC Press ● نشرت 2016 ● للتحميل 3 مرات ● دقة EUR ● هوية شخصية 4917136 ● حماية النسخ Adobe DRM
يتطلب قارئ الكتاب الاليكتروني قادرة DRM

المزيد من الكتب الإلكترونية من نفس المؤلف (المؤلفين) / محرر

74٬462 كتب إلكترونية في هذه الفئة