We found 5 results
indigoBooksorna grumberg

Your Store:

Sort By:

Sorted By: Top Matches
Filtered By:
Books
1 - 5 of 5 Results
Top Matches
Model Checking, Second Edition
Hardcover

|December 4, 2018

$97.70 online

$99.00list price

Ships within 1-2 weeks

Not available in stores

An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems. Model checking is a verification technology that provides an algorithmic means of…
Languages: From Formal To Natural: Essays Dedicated To Nissim Francez On The Occasion Of His 65th…

In stock online

Not available in stores

The symposium "Languages: From Formal to Natural," celebrating the 65th birthday of Nissim Francez, was held on May 24-25, 2009 at the Technion, Haifa. The symposium consisted of two parts, a veri?cation day and a language day, and covered all areas of…
25 Years of Model Checking: History, Achievements, Perspectives

In stock online

Not available in stores

Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs, bridging the gap between theoretical computer science and hardware and software…
Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference…

In stock online

Not available in stores

This book constitutes the refereed proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2007, held in Braga, Portugal. Coverage includes software verification, probabilistic model checking…
Computer Aided Verification: 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997…

In stock online

Not available in stores

This book constitutes the strictly refereed proceedings of the 9th International Conference on Computer Aided Verification, CAV '97, held in Haifa, Israel, in June 1997. The volume presents 34 revised full papers selected from a total of 84 submissions. Also…