Formal Methods for Software Engineering
Languages, Methods, Application Domains
كتاب من تأليف: Cerone, Antonio ; Schlingloff, Bernd-Holger ; Schneider, Gerardo ; Ahmed Shaikh, Siraj ; Roggenbach, Markus ; نشر في: 2022
طبعة:
Cham:
Springer International Publishing
لغة:
إنجليزية
الوصف المادي:
Données textuelles
ISBN: 9783030388003
الموضوع
الإعلام الآلي
الكلمات الدالة:
Formal Methods
Logic
Software engineering
Process Algebras
CSP
Algebraic Specification
CASL
Verification
