Buch Details
- Schriftsteller Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
- ISBN13 9783030388027
- ISBN10 3030388026
- Buchseiten 524
- Jahr der Ausgabe 2023
- Fecha de publicación 24/06/2023
- Sprache Deutsch, Französisch
Rezensionen und Bewertungen
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Deutsch, Französisch)
- Von
- Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
- |
- Springer (2023)
- 9783030388027



