

Leveraging Applications of Formal Methods, Verification, and Validation
- Undertittel
- 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I
- Redaktør
- Bernhard Steffen, Tiziana Margaria
- ISBN
- 9783642165580
- Språk
- Engelsk
- Utgivelsesdato
- 2.11.2010
- Tilgjengelige elektroniske format
- PDF - Adobe DRM
- Les e-boka her
- E-bokleser i mobil/nettbrett
- Lesebrett
- Datamaskin
