Automated Formal Methods
Edición de la obra Automated Formal Methods
| Autor | Natarajan Shankar |
|---|---|
| Editorial | Association for Computing Machinery |
| Fecha de publicación | 2017 |
| Idioma | inglés |
| ISBN-13 | 9781450353304 |
| Número de Cutter | S528a |
Edición de la obra Automated Formal Methods
| Autor | Natarajan Shankar |
|---|---|
| Editorial | Association for Computing Machinery |
| Fecha de publicación | 2017 |
| Idioma | inglés |
| ISBN-13 | 9781450353304 |
| Número de Cutter | S528a |