0
Hide Modal
Hide Modal
Got It!
Now Available!
From Heart to Cart!
Click to add titles to your Wish List, sign-in and submit your order to PRH Self-Service!
Learn More
Got It
NOW AVAILABLE
Sign in and order your Wish List!
Retailers, sign in here with your PRH Self-Service email and password to enjoy new Wish List features, like saving and ordering your list.
Learn More
Got It
/
My Account
Sign Out
Sign In
0
0
Toggle navigation
News
Catalogs
Adult
Children’s
All Categories
Retailer Resources
About Us
How to Order
Register with PRH Self-Service to Order 24/7
How to Set Up an Account with Us
Frequently Asked Questions (FAQs)
Sign in for more features
Save your Wish List
Order your Wish List via
PRH Self-Service
See stock availability notifications
Welcome, !
Browse
All Categories
to find
the best books
Save your upcoming order
to your
Wish List
and send
it to PRH Self-Service
For Educators
Featured Titles
Elementary Education
Secondary Education
Higher Education
Resources
For Elementary Educators
For Middle & High Schools
For Colleges & Universities
Ordering for International Education
Guides
/
My Account
Sign Out
Sign In
0
0
Sign up for our newsletters
Friend us on Facebook
Follow us on Twitter
Are you still there?
If not, we’ll close this session in:
Edmund M. Clarke, Jr.
Share via email
Share via Facebook
Share via Twitter
Share via email
Share via Facebook
Share via Twitter
Books
Added to Wish List
Removed from Wish List
Model Checking, second edition
Author:
Edmund M. Clarke, Jr.
,
Author:
Orna Grumberg
,
Author:
Daniel Kroening
,
Author:
Doron Peled
,
Author:
Helmut Veith
9780262038836
$80.00 US
Hardcover
Dec 04, 2018
World
Share via email
Share via Facebook
Share via Twitter
Books
Added to Wish List
Removed from Wish List
Model Checking, second edition
Edmund M. Clarke, Jr.
,
Orna Grumberg
,
Daniel Kroening
,
Doron Peled
,
Helmut Veith
9780262038836
$80.00 US
Hardcover
Dec 04, 2018
World
Back to Top
0
News
Catalogs
Adult
Children’s
All Categories
Retailer Resources
Back to main menu
About Us
How to Order
Register with PRH Self-Service to Order 24/7
How to Set Up an Account with Us
Frequently Asked Questions (FAQs)
Resources Log-in
Back to main menu
For Educators
Back to main menu
Featured Titles
Back to main menu
Elementary Education
Secondary Education
Higher Education
Resources
Back to main menu
For Elementary Educators
For Middle & High Schools
For Colleges & Universities
Ordering for International Education
Guides
Wish List
(
0
)
× Close Panel
