Hoppa till sidans huvudinnehåll

Edmund M. Clarke Jr. - Böcker

Visar alla böcker från författaren Edmund M. Clarke Jr..
4 produkter

Model Checking

AvEdmund M. Clarke Jr.,Orna Grumberg m. fl.

Inbunden, Engelska, 2018

939 kr

Tillfälligt slut

Handbook of Model Checking

AvEdmund M. Clarke Jr.,Thomas A. Henzinger m. fl.

Inbunden, Engelska, 2018

1 919 kr

Skickas inom 10-15 vardagar

Computer-Aided Verification

2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings

AvEdmund M. Clarke Jr.,Robert P. Kurshan m. fl.

Häftad, Engelska, 1991

689 kr

Skickas inom 10-15 vardagar

Logic for Programming, Artificial Intelligence, and Reasoning

16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers

AvEdmund M. Clarke Jr.,Andrei Voronkov m. fl.

Häftad, Engelska, 2011

709 kr

Skickas inom 10-15 vardagar