Advanced formal verification
Edición de la obra Advanced formal verification
| Autor | Rolf Drechsler |
|---|---|
| Editorial | Kluwer Academic Publishers, Springer |
| Fecha de publicación | 2004 |
| Lugar | Boston |
| Idioma | inglés |
| Páginas | 249 |
| ISBN-10 | 1402077211 |
| LCCN | 2003064115 |
| Número de Cutter | D771a |