

Runtime Verification
- Undertitel
- First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
- Redaktör
- Gordon Pace, Nikolai Tillmann, Oleg Sokolsky, Grigore Rosu, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Howard Barringer
- 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