Principles of Model Checking (Hardcover)

Christel Baier

31 Bewertungen von Goodreads

Sprache: Englisch

Verlag: MIT Press Ltd, Cambridge, Mass., 2008

026202649X / 9780262026499

Anbieter: AussieBookSeller, Truganina, VIC, AustralienAussieBookSeller

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 22. Juni 2007

Hardcover

Zustand: Neu

EUR 262,69

EUR 32,88 Versand 
Versand von Australien nach USA

Anzahl: 1 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Artikelbeschreibung des Verkäufers

Hardcover. 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 software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a given system satisfies a desired property such as deadlock freedom, invariants, and request-response properties. This automated technique for verification and debugging has developed into a mature and widely used approach with many applications. Principles of Model Checking offers a comprehensive introduction to model checking that is not only a text suitable for classroom use but also a valuable reference for researchers and practitioners in the field.The book begins with the basic principles for modeling concurrent and communicating systems, introduces different classes of properties (including safety and liveness), presents the notion of fairness, and provides automata-based algorithms for these properties. It introduces the temporal logics LTL and CTL, compares them, and covers algorithms for verifying these logics, discussing real-time systems as well as systems subject to random phenomena. Separate chapters treat such efficiency-improving techniques as abstraction and symbolic manipulation. The book includes an extensive set of examples (most of which run through several chapters) and a complete set of basic results accompanied by detailed proofs. Each chapter concludes with a summary, bibliographic notes, and an extensive list of exercises of both practical and theoretical nature. 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. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.…

Bestandsnummer des Verkäufers 9780262026499

Titel
Principles of Model Checking (Hardcover)
Autor
Christel Baier
Verlag
MIT Press Ltd, Cambridge, Mass.
Erscheinungsjahr
2008
Zustand
new
Einband
Hardcover
Sprache
Englisch
ISBN-10
026202649X
ISBN-13
9780262026499

AussieBookSeller

Truganina, VIC, Australien

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 22. Juni 2007

Versandkosten von Australien nach USA

Artikel25 bis 45 Werktage8 bis 14 Werktage
Erster ArtikelEUR 32,88EUR 39,10
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.

Zahlungsarten

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

The Nile Group Pty Ltd

42 Apex Drive
Truganina, VIC Australien 3029