Deductive verification of object-oriented software
dynamic frames, dynamic logic and predicate abstraction
Häftad, Engelska, 2014
559 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