Formal Methods for Software Engineering
Languages, Methods, Application Domains
Livre Ecrit par: Cerone, Antonio ; Schlingloff, Bernd-Holger ; Schneider, Gerardo ; Ahmed Shaikh, Siraj ; Roggenbach, Markus ; Publié en: 2022
Edition:
Cham:
Springer International Publishing
Langue:
Anglais
Collation:
Données textuelles
ISBN: 9783030388003
Thème
Informatique
Mots clés:
Formal Methods
Logic
Software engineering
Process Algebras
CSP
Algebraic Specification
CASL
Verification
