The Logic of Software. A Tasting Menu of Formal Methods
Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
كتاب من تأليف: Beckert, Bernhard ; Bubel, Richard ; Broch Johnsen, Einar ; Ahrendt, Wolfgang ; نشر في: 2022
طبعة:
Cham:
Springer
لغة:
إنجليزية
الوصف المادي:
Données textuelles
ISBN: 9783031081668
الموضوع
الإعلام الآلي
الكلمات الدالة:
computer programming
Computer systems
Databases
embedded systems
formal logic
Formal Methods
model checking
object-oriented programming
verification and validation
