Model Checking Software
de Bernd Fischer, Jaco Geldenhuys
Materias
Ediciones (2)
- Model Checking Software (2015)
Springer · ISBN 9783319234038
- Model Checking Software (2015)
Springer London, Limited · inglés · ISBN 9783319234045
de Bernd Fischer, Jaco Geldenhuys
Springer · ISBN 9783319234038
Springer London, Limited · inglés · ISBN 9783319234045
