Detalls del llibre
- Autors Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
- ISBN13 9783030388027
- ISBN10 3030388026
- Pàgines 524
- Any Edició 2023
- Fecha de publicación 24/06/2023
- Idioma Alemany, Francès
Ressenyes i valoracions
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Alemany, Francès)
- De
- Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
- |
- Springer (2023)
- 9783030388027



