E-bok, Engelska, 2003
Verification, Model Checking, and Abstract Interpretation
739 kr
Skickas tisdag 6/10
Beskrivning
Produktinformation
- Utgivningsdatum: 2003-07-31
- Format: E-bok
- Språk: Engelska
- Förlag: Springer Berlin Heidelberg
- ISBN: 9783540478133
Utforska kategorier
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.