Computer Aided Verification
Edición de la obra Computer Aided Verification
| Autor | Serdar Tasiran, Isil Dillig |
|---|---|
| Editorial | Saint Philip Street Press |
| Fecha de publicación | Oct 08, 2020 |
| Páginas | 558 |
| Formato | hardcover |
| ISBN-13 | 9781013271151 |
| ISBN-10 | 1013271157 |
| Número de Cutter | T197c |