Häftad, Engelska, 2014
Deductive verification of object-oriented software
dynamic frames, dynamic logic and predicate abstraction
446 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Beskrivning
Produktinformation
- Utgivningsdatum: 2014-08-18
- Mått: 170 x 244 x 15 mm
- Vikt: 467 g
- Format: Häftad
- Språk: Engelska
- Antal sidor: 292
- Förlag: Karlsruher Institut Fur Technologie
- ISBN: 9783866446236
Utforska kategorier
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.