Edmund M. Clarke Jr. – författare

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

4 produkter

Kategorier

4 produkter

Handbook of Model Checking
AvEdmund M. Clarke Jr.,Thomas A. Henzingerm. fl.
Inbunden, Engelska, 2018
2 029 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
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
AvEdmund M. Clarke Jr.,Andrei Voronkov
Häftad, Engelska, 2011
729 kr
Skickas inom 10-15 vardagar
Model Checking
AvEdmund M. Clarke Jr.,Orna Grumbergm. fl.
Inbunden, Engelska, 2018
939 kr
Tillfälligt slut