Add to Bookshelf
Principles of Model Checking
By Christel Baier and Joost-Pieter Katoen
Foreword by Kim Guldstrand Larsen
By Christel Baier and Joost-Pieter Katoen
Foreword by Kim Guldstrand Larsen
Best Seller
Category: Science & Technology
Hardcover
$80.00
Apr 25, 2008 | ISBN 9780262026499
-
$80.00
Apr 25, 2008 | ISBN 9780262026499
Buy the Hardcover:
YOU MAY ALSO LIKE
QUICK VIEW
Picker’s Pocket Guide – Star Wars Toys
Ebook
$9.99
QUICK VIEW
United States Chess Federation’s Official Rules of Chess, Sixth Edition
Ebook
$13.99
QUICK VIEW
CodeNotes for .NET
Ebook
$14.99
QUICK VIEW
Sexy Little Numbers
Ebook
$5.99
Praise
This is an impressive piece of work…The book can be used as a kind of reference manual for the classical basis of model checking for lecturers, who will be able to select some parts in order to construct a coherent and complete lecture on automatic verification; and of course for students, who will find many explanations, motivations, examples, and proofs to help them discover this very active research area.—François Laroussinie, The Computer Journal—
Looking for More Great Reads?
21 Books You’ve Been Meaning to Read
21 Books You’ve Been Meaning to Read
×
Become a Member
Just for joining you’ll get personalized recommendations on your dashboard daily and features only for members.
Find Out More Join Now Sign In