
Applied formal verification
de Douglas L. Perry, Harry Foster
Materias
Ediciones (1)
- Applied Formal Verification (2005)
McGraw-Hill Professional · inglés · ISBN 9780071443722

de Douglas L. Perry, Harry Foster
McGraw-Hill Professional · inglés · ISBN 9780071443722