Formal Methods in Computer-Aided Design
de Alan J. Hu, Andrew K. Martin
Materias
Ediciones (1)
- Formal Methods in Computer-Aided Design (2005)
Springer London, Limited · inglés · ISBN 9783540304944
de Alan J. Hu, Andrew K. Martin
Springer London, Limited · inglés · ISBN 9783540304944