Principles of Model Checking Hardcover by Christel Baier and Joost-Pieter Katoen; foreword by Kim Guldstrand Larsen Condition:New who are hoping to escape

Principles of Model Checking Hardcover by Christel Baier and Joost-Pieter Katoen; foreword by Kim Guldstrand Larsen Condition:New who are hoping to escapeProduct Details Publisher: The MIT Press (2008 04 25) Language: English Paperback: 984 pages ISBN 13: 9780262026499 Item Weight: 2055. 38 grams Dimensions: 10. 25 x 8. 25 x 1. 91 cm 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. Our growing dependence on increasingly complex computer and

SKU: 19797409115 · From crisbcreativa.com