Formal Methods in Computer-Aided Design
de Mark D. Aagaard, John W. O'Leary
Ediciones (1)
- Formal Methods in Computer-Aided Design (2003)
Springer London, Limited · inglés · ISBN 9783540361268
de Mark D. Aagaard, John W. O'Leary
Springer London, Limited · inglés · ISBN 9783540361268