Hoppa till sidans huvudinnehåll

Deductive verification of object-oriented software

dynamic frames, dynamic logic and predicate abstraction

Häftad, Engelska, 2014

AvBenjamin Weiß

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

Voice Attractiveness

Benjamin Weiss, Jürgen Trouvain, Melissa Barkat-Defradas, John J. Ohala

Inbunden

2 209 kr

Voice Attractiveness

Benjamin Weiss, Jürgen Trouvain, Melissa Barkat-Defradas, John J. Ohala

Häftad

2 209 kr

Hoppa över listan

Du kanske också är intresserad av

  • Nyhet

Systrarna

Jonas Hassen Khemiri

Pocket

79 kr129 kr

  • Nyhet
Del 2

Kriget

Pascal Engman

Inbunden

269 kr299 kr

  • Nyhet
Del 1

Klanen

Pascal Engman

Pocket

79 kr129 kr

  • Nyhet
Del 3

Rivaler i Rom

Anders de la Motte, Anette de la Motte

Inbunden

279 kr319 kr

  • Nyhet
Del 2

Intrig i Amalfi

Anders de la Motte, Anette de la Motte

Pocket

79 kr129 kr