Edmund M. Clarke Jr. - Böcker

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

5 produkter

Kategorier

5 produkter

Model Checking

Av Edmund M. Clarke Jr., Orna Grumberg m. fl

Inbunden, Engelska, 2018

1 219 kr

Tillfälligt slut

Handbook of Model Checking

Av Edmund M. Clarke Jr., Thomas A. Henzinger m. fl

Häftad, Engelska, 2020

1 979 kr

Skickas inom 10-15 vardagar

Handbook of Model Checking

Av Edmund M. Clarke Jr., Thomas A. Henzinger m. fl

Inbunden, Engelska, 2018

1 929 kr

Skickas inom 10-15 vardagar

Computer-Aided Verification

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

Av Edmund M. Clarke Jr., Robert P. Kurshan m. fl

Häftad, Engelska, 1991

709 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

Av Edmund M. Clarke Jr., Andrei Voronkov m. fl

Häftad, Engelska, 2011

729 kr

Skickas inom 10-15 vardagar