Edmund M. Clarke Jr. – författare
Visar alla böcker från författaren Edmund M. Clarke Jr..
4 produkter
Handbook of Model Checking
Av Edmund M. Clarke Jr., Thomas A. Henzinger m. fl.
Inbunden, 2018
2059 kr
Lägg i varukorg
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
Häftad, 1991
719 kr
Lägg i varukorg
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
Häftad, 2011
739 kr
Lägg i varukorg