E-bok, Engelska, 2011
Computer Aided Verification
15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings
Av Fabio Somenzi, Warren A. Hunt, Jr.
734 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: 2011-05-02
- Språk: Engelska
- Filformat: PDF
- Kopieringsskydd: LCP
- ISBN: 9783540450696
- Förlag: Springer Berlin Heidelberg
Utforska kategorier
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.