Deductive verification of object-oriented software
dynamic frames, dynamic logic and predicate abstraction
Häftad, Engelska, 2014
446 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
Voice Attractiveness
Benjamin Weiss, Jürgen Trouvain, Melissa Barkat-Defradas, John J. Ohala
Inbunden, 2020
1 763 kr
Voice Attractiveness
John J. Ohala, Melissa Barkat-Defradas, Jurgen Trouvain, Benjamin Weiss
E-bok
20202 224 kr
Voice Attractiveness
Benjamin Weiss, Jürgen Trouvain, Melissa Barkat-Defradas, John J. Ohala
Häftad, 2021
1 763 kr
Hoppa över listan
Du kanske också är intresserad av
Voice Attractiveness
Benjamin Weiss, Jürgen Trouvain, Melissa Barkat-Defradas, John J. Ohala
Inbunden, 2020
1 763 kr
Voice Attractiveness
John J. Ohala, Melissa Barkat-Defradas, Jurgen Trouvain, Benjamin Weiss
E-bok
20202 224 kr