Handbook of Model Checking

Language: English

Published by Springer-Verlag Gmbh Jun 2018, 2018

3319105744 / 9783319105741

  • Hardcover
  • New
See all details

Seller: Rheinberg-Buch Andreas Meier eK, Bergisch Gladbach, GermanyRheinberg-Buch Andreas Meier eK

5-star seller

AbeBooks seller since November 17, 2008

View this seller's items
Hardcover

Condition: New

US$ 176.94

US$ 19.65 shipping 
Ships from Germany to U.S.A.

Quantity: 1 available

Add to basket
Free 30-day returns

Item description from seller

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.

Seller Inventory # 9783319105741

Title
Handbook of Model Checking
Author
Helmut Veith
Publisher
Springer-Verlag Gmbh Jun 2018
Publication year
2018
Condition
Neu
Binding
Buch
Language
English
ISBN 10
3319105744
ISBN 13
9783319105741
Item weight
2,139 grams
Dimensions
255x170x64 mm

Rheinberg-Buch Andreas Meier eK

Bergisch Gladbach, Germany

5-star seller

AbeBooks seller since November 17, 2008

Shipping rates from Germany to U.S.A.

Item4 to 7 business days4 to 7 business days
First itemUS$ 19.65US$ 19.65
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment methods

  • Visa
  • Mastercard
  • American Express
  • Apple Pay
  • Google Pay
  • Bank Wire Transfer
  • Paypal

Store description

Online Buchhandel

Seller's business information

Rheinberg-Buch Andreas Meier eK

Germany