Principles of Model Checking (The MIT Press)

by Christel Baier (Author), Christel Baier (Author), Joost-Pieter Katoen (Author)

New
Illustrated
2008
$105.46

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.

Synopsis

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.

$105.46

Quantity

1 in stock

More Information

Format: Illustrated
Pages: 975
Edition: Illustrated
Publisher: The MIT Press
Published: 03 Jun 2008
ISBN 10: 026202649X
ISBN 13: 9780262026499

Principles of Model Checking (The MIT Press)

New

$105.46

Synopsis

$105.46

More Information