Deductive verification of object-oriented software

dynamic frames, dynamic logic and predicate abstraction

AvBenjamin Weiß

Häftad, Engelska, 2014

443 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 720 kr

John J. Ohala, Melissa Barkat-Defradas, Jurgen Trouvain, Benjamin Weiss - Voice Attractiveness, E-bok

Voice Attractiveness

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

E-bok
2020

2 207 kr

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

Voice Attractiveness

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

Häftad, 2021

1 720 kr

Hoppa över listan

Du kanske också är intresserad av

Alex Michaelides - Den tysta patienten, Pocket

Den tysta patienten

Alex Michaelides

Pocket, 2020

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

99 kr

Flora Wiström - Stortaxi, Inbunden
  • -19%

Stortaxi

Flora Wiström

Inbunden, 2026

209 kr259 kr

Johanna Bäckström Lerneby - Den sjunde pojken, Pocket
  • Nyhet
Del 1

Den sjunde pojken

Johanna Bäckström Lerneby

Pocket, 2026

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

89 kr