Formal Methods for Industrial Critical Systems
de Manuel Núñez, Matthias Güdemann
Materias
Ediciones (2)
- Formal Methods for Industrial Critical Systems (2015)
Springer · ISBN 9783319194578
- Formal Methods for Industrial Critical Systems (2015)
Springer London, Limited · inglés · ISBN 9783319194585
