Edmund M Clarke

Books by Author

Model Checking

Helmut Veith

₹7520.0₹5866.0

Handbook of Model Checking

Thomas A. Henzinger

₹15679.0₹9878.0

Handbook of Model Checking

Thomas A. Henzinger

₹15679.0₹9878.0

Logic for Programming, Artificial Intelligence, and Reasoning

Andrei Voronkov

₹5599.0₹3583.0

Model Checking

Orna Grumberg

₹3730.0

Computer-Aided Verification

Edmund M. Clarke

₹5767.0

Cases on Common Law Pleading, Selected From Decisions of English and American Courts

Edmund M Morgan

₹4392.0

Computer-Aided Verification

Edmund M Clarke

₹0.0

Computer-Aided Verification

Edmund M Clarke

₹5433.36

Computer-Aided Verification

Edmund M Clarke

₹0.0

Cases on Common Law Pleading, Selected From Decisions of English and American Courts

Edmund M Morgan

₹2368.84

Cases on Common Law Pleading, Selected from Decisions of English and American Courts

Edmund M Morgan

₹1470.0

James Otis, the Pre-Revolutionist

G Mercer Adam

₹1265.93

Logic for Programming, Artificial Intelligence, and Reasoning

Andrei Voronkov

₹2201.45

Logic for Programming, Artificial Intelligence, and Reasoning

Andrei Voronkov

₹9182.5

James Otis - the pre-revolutionist

G Mercer Adam

₹656.68