Verification, Model Checking, and Abstract Interpretation
4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings
Edición de la obra Verification, Model Checking, and Abstract Interpretation
| Autor | Lenore D. Zuck, Paul D. Attie, Agostino Cortesi |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Mar 12, 2014 |
| Páginas | 342 |
| Formato | paperback |
| ISBN-13 | 9783662169674 |
| ISBN-10 | 3662169673 |
| Número de Cutter | Z94v |