Spar
Runtime Verification
e-bok, 2010
Engelsk
Les i Adobe DRM-kompatibelt e-bokleserDenne e-boka er kopibeskyttet med Adobe DRM som påvirker hvor du kan lese den. Les mer
- Undertittel
- First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
- Redaktør
- Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann, Gordon Pace, Insup Lee, Howard Barringer, Klaus Havelund, Bernd Finkbeiner, Ylies Falcone
- ISBN
- 9783642166129
- Språk
- Engelsk
- Utgivelsesdato
- 18.11.2010
- Tilgjengelige elektroniske format
- PDF - Adobe DRM
- Les e-boka her
- E-bokleser i mobil/nettbrett
- Lesebrett
- Datamaskin
