Detalles del libro
- Autores Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
- ISBN13 9783030388027
- ISBN10 3030388026
- Páginas 524
- Año de Edición 2023
- Fecha de publicación 24/06/2023
- Idioma Alemán, Francés
Reseñas y valoraciones
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Alemán, Francés)
- De
- Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
- |
- Springer (2023)
- 9783030388027



