Books Price Comparison (Including Amazon) - Guaranteed Lowest Prices on Books


Principles of Model Checking (MIT Press)

Principles of Model Checking (MIT Press)
Author: Christel Baier - Joost-Pieter Katoen
ISBN 13: 9780262026499
ISBN 10: 26202649
Edition: N/A
Publisher: The MIT Press
Publication Date: 2008-04-25
Format: Hardcover
Pages: 984
List Price: $75.00

A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises.