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
Arten der Dialer-Software und Möglichkeiten des Schutzes vor unerwünschten Dialern
Benjamin Weiß
Häftad, 2007
489 kr
Optimierung von Administrationsprozessen in einem heterogenen Netzwerk mittels Active Directory
Benjamin Weiß
Häftad, 2007
1 059 kr
Voice Attractiveness
Benjamin Weiss, Jürgen Trouvain, Melissa Barkat-Defradas, John J. Ohala
Inbunden, 2020
2 239 kr
Voice Attractiveness
Benjamin Weiss, Jürgen Trouvain, Melissa Barkat-Defradas, John J. Ohala
Häftad, 2021
2 239 kr
