> Skip to content
Penguin homepage
Books
Fiction
Action & adventure
Classics
Contemporary fiction
Crime & thrillers
Fantasy & science fiction
General & literary fiction
Graphic novels
Historical fiction
Romance
Short stories
View all fiction
Non-fiction
Art, music & photography
Biography & memoir
Business & finance
Computing & technology
Food & drink
Health & lifestyle
History
Politics & law
Society & culture
Travel
View all non-fiction
Children's books
Ages 0 - 2
Ages 3 - 5
Ages 6 - 8
Ages 9 - 11
Ages 12 - 13
Young adult
View all children's books
Popular links
New releases
Bestsellers
Coming soon
Our lists
Penguin Classics
Popular series
Young readers series
Audiobooks
Fresh Voices
Penguin Kids
DK
Features
News
Extracts
Articles
Recipes
Q&A
Activities
Book clubs
Teachers' Resources
View all features
Authors
Events
Schools
About
Contact Us
Work With Us
Social Impact
Getting Published
More
Features
News
Extracts
Articles
Recipes
Q&A
Activities
Book clubs
Teachers' Resources
Contact Us
Work With Us
Social Impact
Getting Published
About
Contact Us
Work With Us
Social Impact
Getting Published
Authors
Events
Schools
View cart
2
Search books and authors
EM.
Edmund M. Clarke, Jr.
Book for an event
Books by Edmund M. Clarke, Jr.
Model Checking, second edition
Edmund M. Clarke, Jr.
,
Orna Grumberg
,
Daniel Kroening
,
Doron Peled
Read more
×
