Computer Aided Verification
15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings
Edición de la obra Computer Aided Verification
| Autor | Jr. Warren A. Hunt, Fabio Somenzi |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Mar 12, 2014 |
| Páginas | 500 |
| Formato | paperback |
| ISBN-13 | 9783662186855 |
| ISBN-10 | 3662186853 |
| Número de Cutter | H941c |