The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Edmund M. Clarke Books

Results for Edmund M. Clarke

Showing 1 to 2 of 2 results
Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings: 531 (Lecture Notes in Computer Science) Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings: 531 (Lecture Notes in Computer Science) by Edmund M. Clarke,Robert P. Kurshan

Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings: 531 (Lecture Notes in Computer Science)

by Edmund M. Clarke,Robert P. Kurshan


ISBN 13: 9783540544777

Format: Illustrated (392 pages)
Publisher: Springer
Published: 02 Oct 1991

Save for later

 
New : $83.91  
New : $83.91
Handbook of Model Checking Handbook of Model Checking by Edmund M. Clarke,Thomas A. Henzinger,Helmut Veith,Roderick Bloem

Handbook of Model Checking

by Edmund M. Clarke,Thomas A. Henzinger,Helmut Veith,Roderick Bloem


ISBN 13: 9783319105741

Format: Hardcover (1260 pages)
Publisher: Springer
Published: 28 May 2016

Save for later

 
New : $132.78  
New : $132.78