Rigorous State-Based Methods
9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings
Edición de la obra Rigorous State-Based Methods
| Autor | Uwe Glässer, Dominique Méry, Philippe Palanque, Jose Creissac Campos |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2023 |
| Idioma | inglés |
| ISBN-13 | 9783031331626 |
| Número de Cutter | G549r |