Hoppa till sidans huvudinnehåll

Edmund M. Clarke Jr. – författare

Visar alla böcker från författaren Edmund M. Clarke Jr..
4 produkter
Edmund M. Clarke Jr., Thomas A. Henzinger, Helmut Veith, Roderick Bloem - Handbook of Model Checking, Inbunden

Handbook of Model Checking

AvEdmund M. Clarke Jr.,Thomas A. Henzingerm. fl.

Inbunden, Engelska, 2018

2 019 kr

Skickas inom 10-15 vardagar

Edmund M. Clarke Jr., Robert P. Kurshan - Computer-Aided Verification, Häftad

Computer-Aided Verification

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

AvEdmund M. Clarke Jr.,Robert P. Kurshan

Häftad, Engelska, 1991

709 kr

Skickas inom 10-15 vardagar

Edmund M. Clarke Jr., Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning, Häftad

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

Häftad, Engelska, 2011

729 kr

Skickas inom 10-15 vardagar

Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith - Model Checking, Inbunden

Model Checking

AvEdmund M. Clarke Jr.,Orna Grumbergm. fl.

Inbunden, Engelska, 2018

939 kr

Tillfälligt slut