Formal Methods for Hardware Verification
de Marco Bernardo, Alessandro Cimatti
Materias
Ediciones (1)
- Formal Methods for Hardware Verification (2006)
Springer London, Limited · inglés · ISBN 9783540343059
de Marco Bernardo, Alessandro Cimatti
Springer London, Limited · inglés · ISBN 9783540343059
