E-bok, Engelska, 2010
Verified Software: Theories, Tools, Experiments
Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings
Av Sriram K Rajamani, Peter O'Hearn, Gary T. Leavens
750 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Beskrivning
Produktinformation
- Utgivningsdatum: 2010-08-12
- Språk: Engelska
- Filformat: PDF
- Kopieringsskydd: LCP
- ISBN: 9783642150579
- Förlag: Springer Berlin Heidelberg
Utforska kategorier
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.