Formal Methods and Software Engineering
de Kung-Kiu Lau, Richard Banach
Materias
Ediciones (1)
- Formal Methods and Software Engineering (2005)
Springer London, Limited · inglés · ISBN 9783540322504
de Kung-Kiu Lau, Richard Banach
Springer London, Limited · inglés · ISBN 9783540322504
