Häftad, Engelska, 2020
Computer Aided Verification
Av Serdar Tasiran, Isil Dillig
822 kr
Skickas inom 3-6 vardagar
Beskrivning
Produktinformation
- Utgivningsdatum: 2020-10-08
- Mått: 216 x 279 x 29 mm
- Vikt: 1 275 g
- Format: Häftad
- Språk: Engelska
- Antal sidor: 558
- Förlag: Saint Philip Street Press
- ISBN: 9781013271144
Utforska kategorier
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.