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
- 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
739 kr
Optimierung von Administrationsprozessen in einem heterogenen Netzwerk mittels Active Directory
Benjamin Weiß
Häftad
1 439 kr
Voice Attractiveness
Benjamin Weiss, Jürgen Trouvain, Melissa Barkat-Defradas, John J. Ohala
Inbunden
2 189 kr
Voice Attractiveness
Benjamin Weiss, Jürgen Trouvain, Melissa Barkat-Defradas, John J. Ohala
Häftad
2 189 kr