Formal Methods and Software Engineering
de Karin Breitman, Ana Cavalcanti
Ediciones (1)
- Formal Methods and Software Engineering (2009)
Springer London, Limited · inglés · ISBN 9783642103735
de Karin Breitman, Ana Cavalcanti
Springer London, Limited · inglés · ISBN 9783642103735