Deductive verification of object-oriented software
dynamic frames, dynamic logic and predicate abstraction
Häftad, Engelska, 2014
579 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
Voice Attractiveness
Benjamin Weiss, Jürgen Trouvain, Melissa Barkat-Defradas, John J. Ohala
Inbunden, 2020
2 269 kr
Voice Attractiveness
Benjamin Weiss, Jürgen Trouvain, Melissa Barkat-Defradas, John J. Ohala
Häftad, 2021
2 269 kr
Hoppa över listan
Du kanske också är intresserad av
Voice Attractiveness
Benjamin Weiss, Jürgen Trouvain, Melissa Barkat-Defradas, John J. Ohala
Inbunden, 2020
2 269 kr
Voice Attractiveness
Benjamin Weiss, Jürgen Trouvain, Melissa Barkat-Defradas, John J. Ohala
Häftad, 2021
2 269 kr