Principles Of Model Checking(1st Edition)

Authors:

Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen

Free Principles Of Model Checking1st EditionChristel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen026202649X, 9780262026499
3 ratings
Add to Wishlist
Type:Hardcover/ PaperBack / Loose Leaf
Condition: Used/New

In Stock: 2 Left

Shipment time

Expected shipping within 2 - 3 Days

Popular items with books

Access to 35 Million+ Textbooks solutions Free ✝
Ask Unlimited Questions from expert AI-Powered Answers 30 Min Free Tutoring Session
✝ 7 days-trial

Total Price:

$0

List Price: $58.30 Savings: $58.3 (100%)

Solution Manual Includes

Access to 30 Million+ solutions
Ask 50 Questions from expert AI-Powered Answers 24/7 Tutor Help Detailed solutions for Principles Of Model Checking

Price:

$9.99

/month

Book details

ISBN: 026202649X, 9780262026499

Book publisher: The MIT Press

Offer Just for You!: Buy 2 books before the end of January and enter our lucky draw.
Get 24/7 Free Help
answer-question From Qualified Algorithms Tutor

Customers also bought these books (18)

developing management skills 8th edition david a. whetten, kim s. cameron 9780136121008

Developing Management Skills - 8th Edition

David A. Whetten

ISBN: 9780136121008

$83.66 $119.51
Free
developing management skills 9th edition david whetten, kim cameron 0133127478, 978-0133127478

Developing Management Skills - 9th Edition

David Whetten

ISBN: 0133127478, 978-0133127478

$0 $40.70
Free
elementary principles of chemical processes 3rd edition richard m. felder, ronald w. rousseau 978-0471687573,

Elementary Principles of Chemical Processes - 3rd Edition

Richard M. Felder

ISBN: 978-0471687573, 9788126515820, 978-0-471-4152, 0471720631, 047168757X, 8126515821, 978-0471720638

$0 $45.49
Free
principles of corporate finance 7th edition richard a. brealey, stewart c. myers 72869461, 72467665,

Principles of Corporate Finance - 7th edition

Richard A. Brealey

ISBN: 72869461, 72467665, 9780072467666, 978-0072869460

$0 $64.54
Free
the idea of the postmodern a history 1st edition hans bertens 0415060117, 978-0415060110

The Idea Of The Postmodern A History - 1st Edition

Hans Bertens

ISBN: 0415060117, 978-0415060110

$0 $10.84
algorithm design and applications 1st edition michael t. goodrich, roberto tamassia 1118335910, 978-1118335918

Algorithm Design And Applications - 1st Edition

Michael T. Goodrich

ISBN: 1118335910, 978-1118335918

$88.86 $126.94
bioinformatics algorithms design and implementation in python 1st edition miguel rocha, pedro g. ferreira

Bioinformatics Algorithms Design And Implementation In Python - 1st Edition

Miguel Rocha

ISBN: 0128125209, 9780128125205

$55.5 $79.28
graph algorithms 2nd edition shimon even, guy even 0521517184, 9780521517188

Graph Algorithms - 2nd Edition

Shimon Even

ISBN: 0521517184, 9780521517188

$70.17 $100.24
game programming algorithms and techniques: 1st edition sanjay madhav 0321940156, 9780321940155

Game Programming Algorithms And Techniques: - 1st Edition

Sanjay Madhav

ISBN: 0321940156, 9780321940155

$59.25 $84.64
Free
from parallel to emergent computing 1st edition andrew adamatzky, selim akl, georgios ch. sirakoulis

From Parallel To Emergent Computing - 1st Edition

Andrew Adamatzky

ISBN: 0367656604, 9780367656607

$0 $60.00
Free
programming massively parallel processors a hands on approach 4th edition wen-mei w. hwu, david b. kirk,

Programming Massively Parallel Processors A Hands On Approach - 4th Edition

Wen-mei W. Hwu

ISBN: 0323912311, 9780323912310

$0 $61.95
money laundering an endless cycle a comparative analysis of the anti-money laundering policies in the united

Money Laundering An Endless Cycle A Comparative Analysis Of The Anti-Money Laundering Policies In The United States Of America The United And Canada - 1st Edition

Nicholas Ryder

ISBN: 041573052X, 978-0415730525

$133 $190.00
Free
the five confucian classics 1st edition michael nylan 0300212003, 978-0300212006

The Five Confucian Classics - 1st Edition

Michael Nylan

ISBN: 0300212003, 978-0300212006

$0 $42.00
Free
big mother the technological body of evil 1st edition jasun horsley 1801520534, 978-1801520539

Big Mother The Technological Body Of Evil - 1st Edition

Jasun Horsley

ISBN: 1801520534, 978-1801520539

$0 $27.90
strategic management a competitive advantage approach concepts and cases 17th edition fred david 0135173949,

Strategic Management A Competitive Advantage Approach Concepts And Cases - 17th Edition

Fred David

ISBN: 0135173949, 9780135173947

$104.64 $149.49
Free
dientes y mas dientes 1st edition dr seuss ,joe mathieu 1984831283, 978-1984831286

Dientes Y Mas Dientes - 1st Edition

Dr Seuss

ISBN: 1984831283, 978-1984831286

$0 $7.00
Free
the idea of the postmodern a history 1st edition hans bertens 0415060117, 978-0415060110

The Idea Of The Postmodern A History - 1st Edition

Hans Bertens

ISBN: 0415060117, 978-0415060110

$0 $10.84
postmodernism the key figures 1st edition hans bertens, joseph natoli 0631217975, 978-0631217978

Postmodernism The Key Figures - 1st Edition

Hans Bertens

ISBN: 0631217975, 978-0631217978

$133 $190.00

Popular Among Students (13)

Free
trick or treat on scary street 1st edition lance bass ,roland garrigue 1454952172, 978-1454952176

Trick Or Treat On Scary Street - 1st Edition

Lance Bass

ISBN: 1454952172, 978-1454952176

$0 $3.79
Free
bunnies on the bus 1st edition philip ardagh ,ben mantle 1536240834, 978-1536240832

Bunnies On The Bus - 1st Edition

Philip Ardagh

ISBN: 1536240834, 978-1536240832

$0 $5.75
Free
this jazz man 1st edition karen ehrhardt ,r g roth ,james d train williams 1430107359, 978-1430107354

This Jazz Man - 1st Edition

Karen Ehrhardt

ISBN: 1430107359, 978-1430107354

$0 $48.83
Free
vibrazioni figli di atlantide 1st edition a r alexander 1739449452, 978-1739449452

Vibrazioni Figli Di Atlantide - 1st Edition

A R Alexander

ISBN: 1739449452, 978-1739449452

$0 $7.02
Free
a cat story a graphic novel 1st edition ursula murray husted 0062932047, 978-0062932044

A Cat Story A Graphic Novel - 1st Edition

Ursula Murray Husted

ISBN: 0062932047, 978-0062932044

$0 $7.20
Free
facing the camera a guide to being interviewed 1st edition edward lawrence 149487962x, 978-1494879624

Facing The Camera A Guide To Being Interviewed - 1st Edition

Edward Lawrence

ISBN: 149487962X, 978-1494879624

$0 $12.99
Free
foundations of algorithms 5th edition richard neapolitan 1284049191, 9781284049190

Foundations Of Algorithms - 5th Edition

Richard Neapolitan

ISBN: 1284049191, 9781284049190

$0 $56.18
Free
christus victor an historical study of the three main types of the idea of atonement 1st edition gustaf aulen

Christus Victor An Historical Study Of The Three Main Types Of The Idea Of Atonement - 1st Edition

Gustaf Aulen

ISBN: 1592443303, 978-1592443307

$0 $16.50
hard real time computing systems predictable scheduling algorithms and applications 3rd edition giorgio c

Hard Real Time Computing Systems Predictable Scheduling Algorithms And Applications - 3rd Edition

Giorgio C Buttazzo

ISBN: 1461406757, 9781461406754

$73.28 $104.69
Free
the top ten algorithms in data mining 1st edition xindong wu, vipin kumar 1420089641, 978-1420089646

The Top Ten Algorithms In Data Mining - 1st Edition

Xindong Wu

ISBN: 1420089641, 978-1420089646

$0 $31.24
Free
delphi and rad studio fur einsteiger 2 auflage 1st edition marco forestier 3752647663, 978-3752647662

Delphi And Rad Studio Fur Einsteiger 2 Auflage - 1st Edition

Marco Forestier

ISBN: 3752647663, 978-3752647662

$0 $13.62
Free
a history of cryptology and cryptographic algorithms 1st edition john f. dooley 331901627x, 978-3319016276

A History Of Cryptology And Cryptographic Algorithms - 1st Edition

John F. Dooley

ISBN: 331901627X, 978-3319016276

$0 $17.61
Free
getting started with varnish cache accelerate your web applications 1st edition thijs feryn 149197222x,

Getting Started With Varnish Cache Accelerate Your Web Applications - 1st Edition

Thijs Feryn

ISBN: 149197222X, 978-1491972229

$0 $7.18

Customer Reviews

Trusted feedback from verified buyers

PB
Poppy Brooks
4.0
Reviewed In United States United States • January 7, 2025
A solid resource for courses in this field! This edition covers everything from the basics to more complex concepts. As comprehensive as it gets, the book can be a bit much at times, but it pairs well with lectures. Got it on time, and it was in perfect shape. Loved the membership benefits!
JK
Jason Knighton
5.0
Reviewed In United States United States • June 18, 2024
As a student in this field, I found the book extremely beneficial. It covers all the essential concepts with clarity and depth. The practical examples helped solidify my understanding. Delivery was on time, and thanks to my membership, I got additional benefits. Great purchase!
CT
Chase Turner
4.0
Reviewed In United States United States • May 26, 2024
If you're studying this subject, this book is a great companion. The authors explain complex topics in a straightforward manner. I did hope for more real-life cases, but overall a commendable resource.

Books Categories

Business
Engineering
Humanities
Social Sciences
Sciences
History
Writing and Foreign Languages
Computer Science
Law
Physics
Test Prep
High School
Study Accessories
Fiction
Student accessories
Middle School
Games
Accounting
Chemical Engineering
Programming
Chemistry