Integrated Formal Methods
de Michael Butler, Luigia Petre, Kaisa Sere
Materias
Ediciones (1)
- Integrated Formal Methods (2003)
Springer London, Limited · inglés · ISBN 9783540478843
de Michael Butler, Luigia Petre, Kaisa Sere
Springer London, Limited · inglés · ISBN 9783540478843
