Scalable Techniques for Formal Verification
Edición de la obra Scalable Techniques for Formal Verification
| Autor | Sandip Ray |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Oct 19, 2014 |
| Páginas | 257 |
| Formato | paperback |
| ISBN-13 | 9781489984449 |
| ISBN-10 | 1489984445 |
| Número de Cutter | R264s |