Advanced Formal Verification
Edición de la obra Advanced formal verification
| Autor | Rolf Drechsler |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Dec 07, 2010 |
| Páginas | 276 |
| Formato | paperback |
| ISBN-13 | 9781441954206 |
| ISBN-10 | 1441954201 |
| Número de Cutter | D771a |
Edición de la obra Advanced formal verification
| Autor | Rolf Drechsler |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Dec 07, 2010 |
| Páginas | 276 |
| Formato | paperback |
| ISBN-13 | 9781441954206 |
| ISBN-10 | 1441954201 |
| Número de Cutter | D771a |