Principles of Model Checking Hardcover by Christel Baier and Joost-Pieter Katoen; foreword by Kim Guldstrand Larsen Condition:New Traveling through different realities

Traveling through different realities

James van Sweden is a Fellow of the American Society of Landscape Architects

who are hoping to escape the war-fever of London

Ryunosuke Akutagawa was one of Japan's leading literary figures in the Taisho period in Japan

The Collegiate Gothic style

Principles of Model Checking Hardcover by Christel Baier and Joost-Pieter Katoen; foreword by Kim Guldstrand Larsen Condition:New Traveling through different realitiesProduct 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