Tallenna
Runtime Verification
This book constitutes the refereed proceedings of the 5th International Conference on Runtime Verification, RV 2014, held in Toronto, ON, Canada in September 2014.
- Alaotsikko
- 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
- Toimittaja
- Borzoo Bonakdarpour, Scott A. Smolka
- Painos
- 2014 ed.
- ISBN
- 9783319111636
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 23.9.2014
- Kustantaja
- Springer International Publishing AG
- Sivumäärä
- 358
