CURRENTLY SOLD OUT

25 Years of Model Checking: History, Achievements, Perspectives by Orna Grumberg, Helmut Veith (Paperback, 2008)

About this product

Product Information

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 engineering, and it is reaching out to new challenging areas such as system biology and hybrid systems. Model checking is extensively used in the hardware industry and has also been applied to the verification of many types of software. Model checking has been introduced into computer science and electrical engineering curricula at universities worldwide and has become a universal tool for the analysis of systems. This Festschrift volume, published in celebration of the 25th Anniversary of Model Checking, includes a collection of 11 invited papers based on talks at the symposium 25 Years of Model Checking , 25MC, which was part of the 18th International Conference on Computer Aided Verification (CAV 2006), which in turn was part of the Federated Logic Conference (FLoC 2006) held in Seattle, WA, USA, in August 2006. Model checking is currently attracting considerable attention beyond the core technical community, and the ACM Turing Award 2007 was given in recognition of the paradigm-shifting work on this topic initiated a quarter century ago. Here we honor that achievement with the inclusion of facsimile reprints of the visionary papers on model checking by Edmund Clarke and Allen Emerson, and by Jean-Pierre Queille and Joseph Sifakis.

Product Identifiers

Publisher
Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
ISBN-13
9783540698494
eBay Product ID (ePID)
95022886

Product Key Features

Author
Orna Grumberg, Helmut Veith
Publication Name
25 Years of Model Checking: History, Achievements, Perspectives
Format
Paperback
Language
English
Subject
Computer Science
Publication Year
2008
Type
Textbook
Number of Pages
234 Pages

Dimensions

Item Height
235mm
Item Width
155mm
Volume
5000
Item Weight
385g

Additional Product Features

Series Title
Lecture Notes in Computer Science
Country/Region of Manufacture
Germany
Editor
Helmut Veith, Orna Grumberg

Best Selling in School Textbooks & Study Guides

See all

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in School Textbooks & Study Guides

Tracks, Scats and Other Traces: Reissue by Barbara Triggs (Paperback, 2004)
4.9 out of 5 stars based on 7 product ratings
AU $51.30 New
AU $38.99 Used
Self-Made Man: My Year Disguised as a Man by Norah Vincent (Paperback, 2006)
No ratings or reviews yet.
AU $25.64 New
---- Used
The Big Book of Catapult and Trebuchet Plans! by Ron L Toms (Paperback, 2010)
4.5 out of 5 stars based on 2 product ratings
AU $30.45 New
---- Used
Charles Hanon: The Virtuoso Pianist In Sixty Exercises For The Piano (Book I) by Hal Leonard Corporation (Paperback, 1986)
3.8 out of 5 stars based on 6 product ratings
AU $20.14 New
---- Used

Save on School Textbooks & Study Guides

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on School Textbooks & Study Guides

Powerless: Tiktok Made Me Buy It! an Epic and Sizzling Fantasy Romance Not to Be
AU $18.49
Trending at AU $20.20
Viktor Schauberger The Water Wizard (Paperback)
AU $58.71
Trending at AU $66.32
The MeatEater Fish and Game Cookbook Recipes and Techniques for Every Hunter and
AU $57.95
Trending at AU $58.93
Excel-Erated Learning Explaining in Plain English How Dogs Learn by Reid Pamela
AU $39.52
Trending at AU $41.98

Shop by category

25 Years of Model Checking: History, Achievements, Perspectives by Orna Grumberg, Helmut Veith (Paperback, 2008)

About this product

Product Information

Product Identifiers

Product Key Features

Dimensions

Additional Product Features

Best Selling in School Textbooks & Study Guides

Tracks, Scats and Other Traces: Reissue by Barbara Triggs (Paperback, 2004)

Self-Made Man: My Year Disguised as a Man by Norah Vincent (Paperback, 2006)

The Big Book of Catapult and Trebuchet Plans! by Ron L Toms (Paperback, 2010)

Charles Hanon: The Virtuoso Pianist In Sixty Exercises For The Piano (Book I) by Hal Leonard Corporation (Paperback, 1986)

Save on School Textbooks & Study Guides

Powerless: Tiktok Made Me Buy It! an Epic and Sizzling Fantasy Romance Not to Be

Viktor Schauberger The Water Wizard (Paperback)

The MeatEater Fish and Game Cookbook Recipes and Techniques for Every Hunter and

Excel-Erated Learning Explaining in Plain English How Dogs Learn by Reid Pamela

You may also like

History Paperback Textbooks in English

Illustrated History Paperback Textbooks

History Paperback School Textbooks & Study Guides 1800-1899 Publication Year

History 2010-Now Publication Year Paperback School Textbooks & Study Guides

History Non-Fiction 2010-Now Publication Year Paperback Fiction & Books

History Non-Fiction Paperback Non-Fiction & 1800-1899 Publication Year Books