Applied Formal Verification
Edición de la obra Applied formal verification
| Autor | Douglas L. Perry, Harry Foster |
|---|---|
| Editorial | McGraw-Hill Professional |
| Fecha de publicación | April 29, 2005 |
| Idioma | inglés |
| Páginas | 240 |
| ISBN-13 | 9780071443722 |
| ISBN-10 | 007144372X |
| LCCN | 2005047881 |
| Número de Cutter | P462a |