Deductive verification of object-oriented software

dynamic frames, dynamic logic and predicate abstraction

AvBenjamin Weiß

Häftad, Engelska, 2014

428 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.

Produktinformation

Utforska kategorier

Hoppa över listan

Mer från samma författare

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

Voice Attractiveness

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

Inbunden, 2020

1 712 kr

Hoppa över listan

Du kanske också är intresserad av

Tone Schunnesson - Ultravåld, Inbunden
  • -19%

Ultravåld

Tone Schunnesson

Inbunden, 2026

4,6 utav 5 stjärnor. Totalt antal röster:(5)

209 kr259 kr

Fredrik Backman - Mina vänner, Pocket
  • -30%

Mina vänner

Fredrik Backman

Pocket, 2026

4,0 utav 5 stjärnor. Totalt antal röster:(4)

69 kr99 kr

Carina Bergfeldt - En dag ska vi återvända, Inbunden
  • -21%
Del 1

En dag ska vi återvända

Carina Bergfeldt

Inbunden, 2026

4,8 utav 5 stjärnor. Totalt antal röster:(12)

189 kr239 kr

Denise Rudberg - En sjunde brigad, Inbunden
  • -19%
Del 7

En sjunde brigad

Denise Rudberg

Inbunden, 2026

4,0 utav 5 stjärnor. Totalt antal röster:(1)

209 kr259 kr

Lucinda Riley - En dold skönhet, Pocket
  • -30%

En dold skönhet

Lucinda Riley

Pocket, 2026

4,6 utav 5 stjärnor. Totalt antal röster:(18)

69 kr99 kr