Formal Methods in Software and Systems Modeling
de Ugo Montanari, Fernando Orejas, Hans-Jörg Kreowski
Ediciones (2)
- Formal Methods in Software and Systems Modeling (2008)
Springer · ISBN 9783540807841
- Formal Methods in Software and Systems Modeling (2005)
Springer London, Limited · inglés · ISBN 9783540318477
