Inbunden, Engelska, 2020
Computer Aided Verification
Av Serdar Tasiran, Isil Dillig
948 kr
Skickas inom 5-8 vardagar
Beskrivning
Produktinformation
- Utgivningsdatum: 2020-10-08
- Mått: 216 x 279 x 37 mm
- Vikt: 1 842 g
- Format: Inbunden
- Språk: Engelska
- Antal sidor: 680
- Förlag: Saint Philip Street Press
- ISBN: 9781013271175
Utforska kategorier
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.