Runtime Verification
Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
Edición de la obra Runtime Verification
| Autor | Shaz Qadeer, Serdar Tasiran |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Jan 18, 2013 |
| Páginas | 336 |
| Formato | paperback |
| ISBN-13 | 9783642356339 |
| ISBN-10 | 3642356338 |
| Número de Cutter | R942 |