The Logic of Software. A Tasting Menu of Formal Methods
Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
Livre Ecrit par: Beckert, Bernhard ; Bubel, Richard ; Broch Johnsen, Einar ; Ahrendt, Wolfgang ; Publié en: 2022
Edition:
Cham:
Springer
Langue:
Anglais
Collation:
Données textuelles
ISBN: 9783031081668
Thème
Informatique
Mots clés:
computer programming
Computer systems
Databases
embedded systems
formal logic
Formal Methods
model checking
object-oriented programming
verification and validation
