
Runtime Verification
5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
Edición de la obra Runtime Verification
| Autor | Borzoo Bonakdarpour, Scott A. Smolka |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Sep 23, 2014 |
| Páginas | 376 |
| Formato | paperback |
| ISBN-13 | 9783319111636 |
| ISBN-10 | 3319111639 |
| Número de Cutter | B697r |