Hoppa till sidans huvudinnehåll

Edmund M. Clarke - Böcker

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

Model Checking

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

Inbunden, Engelska, 2018

1 219 kr

Tillfälligt slut

Handbook of Model Checking

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

Inbunden, Engelska, 2018

1 889 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

699 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

719 kr

Skickas inom 10-15 vardagar