Deductive verification of object-oriented software

dynamic frames, dynamic logic and predicate abstraction

AvBenjamin Weiß

Häftad, Engelska, 2014

432 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

Obelisk

Brian A. Curran, Anthony Grafton, Pamela O. Long, Benjamin Weiss

Häftad

304 kr

Propaganda Front

Anna Jozefacka, Lynda Klich, Juliana Kreinik, Benjamin Weiss

Inbunden

342 kr

Atget

Benjamin Weiss, Benjamin Weiss

Inbunden

235 kr

Hoppa över listan

Du kanske också är intresserad av

  • -30%
Del 2

Intrig i Amalfi

Anders de la Motte, Anette de la Motte

Pocket
3

69 kr99 kr

  • -22%
Del 1

Spelet

Elle Kennedy

Pocket
9

69 kr89 kr