Formal methods for software engineering: languages, methods, application domains
Auteur :
Roggenbach, Markus / Cerone, Antonio / Schlingloff, Bernd-Holger / Schneider, Gerardo / Shaikh, Siraj Ahmed
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030388027
Date de publication :
24 juin 2023
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse