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

344 kr

Atget

Benjamin Weiss, Benjamin Weiss

Inbunden

235 kr

Hoppa över listan

Du kanske också är intresserad av