

Runtime Verification
- Undertitel
- First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
- Redaktör
- Nikolai Tillmann, Oleg Sokolsky, Grigore Rosu, Gordon Pace, Insup Lee, Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund
- ISBN
- 9783642166129
- Språk
- Engelska
- Utgivningsdatum
- 2010-11-18
- Tillgängliga elektroniska format
- PDF - Adobe DRM
- Läs e-boken här
- E-boksläsare i mobil/surfplatta
- Läsplatta
- Dator
