Computer Aided Verification
Edición de la obra Computer Aided Verification
| Autor | Hana Chockler, Georg Weissenbacher |
|---|---|
| Editorial | Saint Philip Street Press |
| Fecha de publicación | Oct 08, 2020 |
| Páginas | 554 |
| Formato | hardcover |
| ISBN-13 | 9781013271014 |
| ISBN-10 | 1013271017 |
| Número de Cutter | C545c |