Order Total (1 Item Items):
Shipping Destination:
Handbook Model Checking (19 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (19)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (17)
- As New, Fine or Near Fine (2)
- Very Good or Good (No further results match this refinement)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (12)
- Not Print on Demand (16)
Language (1)
Price
- Any Price
- Under £ 20 (No further results match this refinement)
- £ 20 to £ 35 (No further results match this refinement)
- Over £ 35
Free Shipping
Seller Location
Seller Rating
-
Condition: New.
-
Handbook of Model Checking
Language: English
Published by Springer-Verlag GmbH, 2018
ISBN 10: 3319105744 ISBN 13: 9783319105741
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000.
-
Handbook of Model Checking
Language: English
Published by Springer-Verlag GmbH, 2018
ISBN 10: 3319105744 ISBN 13: 9783319105741
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000.
-
Handbook of Model Checking
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Condition: As New. Unread book in perfect condition.
-
Handbook of Model Checking
Language: English
Published by Springer-Verlag Gmbh Jun 2018, 2018
ISBN 10: 3319105744 ISBN 13: 9783319105741
Seller: Rheinberg-Buch Andreas Meier eK, Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. Neuware -Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programming languages, hardware design, and theoretical computer science, model checking is now widely used for the verification of hardware and software in industry.The editors and authors of this handbook are among the world's leading researchers in this domain, and the 32 contributed chapters present a thorough view of the origin, theory, and application of model checking. In particular, the editors classify the advances in this domain and the chapters of the handbook in terms of two recurrent themes that have driven much of the research agenda: the algorithmic challenge, that is, designing model-checking algorithms that scale to real-life problems; and the modeling challenge, that is, extending the formalism beyond Kripke structures and temporal logic.The book will be valuable for researchers and graduate students engaged with the development of formal methods and verification tools. 1212 pp. Englisch.
-
Handbook of Model Checking
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Handbook of Model Checking
Language: English
Published by Springer-Verlag Gmbh Jun 2018, 2018
ISBN 10: 3319105744 ISBN 13: 9783319105741
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. Neuware -Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programming languages, hardware design, and theoretical computer science, model checking is now widely used for the verification of hardware and software in industry.The editors and authors of this handbook are among the world's leading researchers in this domain, and the 32 contributed chapters present a thorough view of the origin, theory, and application of model checking. In particular, the editors classify the advances in this domain and the chapters of the handbook in terms of two recurrent themes that have driven much of the research agenda: the algorithmic challenge, that is, designing model-checking algorithms that scale to real-life problems; and the modeling challenge, that is, extending the formalism beyond Kripke structures and temporal logic.The book will be valuable for researchers and graduate students engaged with the development of formal methods and verification tools. 1212 pp. Englisch.
-
Handbook of Model Checking
Language: English
Published by Springer-Verlag Gmbh Jun 2018, 2018
ISBN 10: 3319105744 ISBN 13: 9783319105741
Buch. Condition: Neu. Neuware -Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programming languages, hardware design, and theoretical computer science, model checking is now widely used for the verification of hardware and software in industry.
-
Handbook of Model Checking
Language: English
Published by Springer International Publishing, 2018
ISBN 10: 3319105744 ISBN 13: 9783319105741
Gebunden. Condition: New. Comprehensive introduction and overview of the key foundational topicsExcellent reference for researchers and graduate students engaged with formal methods and verification toolsEditors and authors among the world s leading researchers in t.
-
Condition: New. pp. 1000.
-
Handbook of Model Checking
Language: English
Published by Springer-Verlag GmbH, 2018
ISBN 10: 3319105744 ISBN 13: 9783319105741
Buch. Condition: Neu. Handbook of Model Checking | Edmund M. Clarke (u. a.) | Buch | xlviii | Englisch | 2018 | Springer-Verlag GmbH | EAN 9783319105741 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Condition: New. pp. 1000.
-
Handbook of Model Checking
Language: English
Published by Springer-Verlag Gmbh Jun 2018, 2018
ISBN 10: 3319105744 ISBN 13: 9783319105741
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. Neuware -Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programming languages, hardware design, and theoretical computer science, model checking is now widely used for the verification of hardware and software in industry.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 1212 pp. Englisch.
-
Handbook of Model Checking
Language: English
Published by Springer-Verlag New York Inc, 2018
ISBN 10: 3319105744 ISBN 13: 9783319105741
Hardcover. Condition: Brand New. 1000 pages. 9.25x6.50x2.75 inches. In Stock.
-
Handbook of Model Checking
Language: English
Published by Springer-Verlag Gmbh Jun 2018, 2018
ISBN 10: 3319105744 ISBN 13: 9783319105741
Buch. Condition: Neu. Neuware - Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programming languages, hardware design, and theoretical computer science, model checking is now widely used for the verification of hardware and software in industry.The editors and authors of this handbook are among the world's leading researchers in this domain, and the 32 contributed chapters present a thorough view of the origin, theory, and application of model checking. In particular, the editors classify the advances in this domain and the chapters of the handbook in terms of two recurrent themes that have driven much of the research agenda: the algorithmic challenge, that is, designing model-checking algorithms that scale to real-life problems; and the modeling challenge, that is, extending the formalism beyond Kripke structures and temporal logic.The book will be valuable for researchers and graduate students engaged with the development of formal methods and verification tools.
-
Condition: new. Questo è un articolo print on demand.
-
Handbook of Model Checking
Language: English
Published by Springer International Publishing, 2020
ISBN 10: 3030132331 ISBN 13: 9783030132330
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Comprehensive introduction and overview of the key foundational topicsExcellent reference for researchers and graduate students engaged with formal methods and verification toolsEditors and authors among the world s leading researchers in t.
-
Condition: New. PRINT ON DEMAND pp. 1000.
