Deductive verification of object-oriented software

dynamic frames, dynamic logic and predicate abstraction

AvBenjamin Weiß

Häftad, Engelska, 2014

434 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

  • 4 för 3
Del 5

Nattankare

Kristina Ohlsson

Pocket

99 kr

  • -30%
Del 2

Intrig i Amalfi

Anders de la Motte, Anette de la Motte

Pocket

69 kr99 kr