Deductive verification of object-oriented software
dynamic frames, dynamic logic and predicate abstraction
Häftad, Engelska, 2014
549 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Produktinformation
- Utgivningsdatum2014-08-18
- Mått170 x 244 x 15 mm
- Vikt467 g
- FormatHäftad
- SpråkEngelska
- Antal sidor292
- FörlagKarlsruher Institut Fur Technologie
- ISBN9783866446236
Tillhör följande kategorier
Hoppa över listan
Mer från samma författare
Obelisk
Brian A. Curran, Anthony Grafton, Pamela O. Long, Benjamin Weiss, Pennsylvania State University) Curran, Brian A. (Associate Professor of Art History, Princeton University) Grafton, Anthony (Henry Putnam University Professor of History, Pamela O. (Independent Historian) Long, Boston ) Weiss, Benjamin (Museum of Fine Arts
399 kr
Hoppa över listan
Du kanske också är intresserad av
- Bokrea
Del 6
- Bokrea
- Bokrea
Del 5
- Bokrea
Del 1
- Bokrea
Del 2
- Bokrea
- Bokrea
Del 5