
Runtime Verification
First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
Edición de la obra Runtime Verification
| Autor | Howard Barringer |
|---|---|
| Editorial | Springer Berlin Heidelberg |
| Fecha de publicación | 2010 |
| Lugar | Berlin, Heidelberg |
| Idioma | inglés |
| Formato | [electronic resource] : |
| ISBN-13 | 9783642166112, 9783642166129 |
| Serie | Lecture Notes in Computer Science -- 6418 |
| Número de Cutter | B276r |