Integrated Formal Methods
de Dominique Méry, Stephan Merz
Ediciones (2)
- Integrated Formal Methods (2011)
Springer · ISBN 9783642162664
- Integrated Formal Methods (2010)
Springer London, Limited · inglés · ISBN 9783642162657
de Dominique Méry, Stephan Merz
Springer · ISBN 9783642162664
Springer London, Limited · inglés · ISBN 9783642162657
