Deductive verification of object-oriented software
dynamic frames, dynamic logic and predicate abstraction
Häftad, Engelska, 2014
569 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
- SpråkEngelska
- Antal sidor292
- FörlagKarlsruher Institut Fur Technologie
- EAN9783866446236
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