Wir brauchen Platz - Ab 10 Medienartikeln gibt's 20% Rabatt für dich! - Code: KAUFE10JAN20mehr Infos
21 Tage Widerrufsrecht 36 Monate reBuy-Garantie Geprüfte Gebrauchtware

Verification of Reactive Systems. Formal Methods and Algorithms - Klaus Schneider [Gebundene Ausgabe]

Kundenbewertung
Sehr gut 13,09 €
Zustand
Preise sind Endpreise zzgl.
  • Exzellenter Zustand
  • Keine oder nur minimale Gebrauchsspuren vorhanden
  • Ohne Knicke, Markierungen
  • Bestens als Geschenk geeignet
  • Derzeit nicht verfügbar
  • Sehr guter Zustand: leichte Gebrauchsspuren vorhanden
  • z.B. mit vereinzelten Knicken, Markierungen oder mit Gebrauchsspuren am Cover
  • Gut als Geschenk geeignet
  • 1 Produkt vorrätig!
  • Sichtbare Gebrauchsspuren auf einzelnen Seiten
  • z.B. mit einem gebrauchten Buchrücken, ohne Schuber/Umschlag, mehreren Markierungen, altersbedingte Vergilbung
  • Könnte ein Mängelexemplar sein
  • Gut für den Eigenbedarf geeignet
  • Derzeit nicht verfügbar
  • Starke Gebrauchsspuren auf einzelnen Seiten
  • z.B. mit einem gebrauchten Buchrücken, ohne Schuber/Umschlag, mehreren Markierungen, altersbedingte Vergilbung
  • Könnte ein Mängelexemplar sein
  • Gut für den Eigenbedarf geeignet
  • Derzeit nicht verfügbar
Sehr gut
13,09 € 1 Produkt vorrätig!
Zustellung in 1-3 Werktagen

Geprüfte Gebrauchtware

Der Umwelt zuliebe

21 Tage Widerrufsrecht

EAN / ISBN-13
9783540002963
Höhe
23.5 cm
Produktform
Gebundene Ausgabe
Auflage
2004
Seitenanzahl
602
Herausgeber
Springer Berlin
Inhaltsverzeichnis
1 Introduction.- 2 A Unified Specification Language.- 3 Fixpoint Calculi.- 4 Finite Automata.- 5 Temporal Logics.- 6 Predicate Logic.- 7 Conclusions.- A Binary Decision Diagrams.- A.1 Basic Definitions.- A.2 Basic Algorithms on BDDs.- A.3 Minimization of BDDs Using Care Sets.- A.4 Computing Successors and Predecessors.- A.5 Variable Reordering.- A.6 Final Remarks.- B.1 A Partial Local Model Checking Procedure.- B.2 A Complete Local Model Checking Procedure.- C Reduction of Structures.- C.1 Galois Connections and Simulations.- C.1.1 Basic Properties of Galois Connections.- C.1.2 Galois Simulation.- C.2 Abstract Structures and Preservation Results.- C.3 Optimal and Faithful Abstractions.- C.4 Data Abstraction.- C.4.1 Abstract Interpretation of Structures.- C.4.2 Abstract Specifications.- C.5 Symmetry and Model Checking.- C.5.1 Symmetries of Structures.- C.5.2 Symmetries in the Specification.- References.
Hauptbeschreibung
This book is a solid foundation of the most important formalisms used for specification and verification of reactive systems. In particular, the text presents all important results on m-calculus, w-automata, and temporal logics, shows the relationships between these formalisms and describes state-of-the-art verification procedures for them. It also discusses advantages and disadvantages of these formalisms, and shows up their strengths and weaknesses. Most results are given with detailed proofs, so that the presentation is almost self-contained. Includes all definitions without relying on other material Proves all theorems in detail Presents detailed algorithms in pseudo-code for verification as well as translations to other formalisms
Breite
15.5 cm
Autor
Klaus Schneider
Erscheinungsdatum
2003
Sprache
Englisch
(0 Bewertungen)
Deine Meinung ist uns wichtig

Wie neu

Exzellenter Zustand
Keine oder nur minimale Gebrauchsspuren vorhanden
Ohne Knicke, Markierungen
Bestens als Geschenk geeignet

Sehr gut

Sehr guter Zustand: leichte Gebrauchsspuren vorhanden
z.B. mit vereinzelten Knicken, Markierungen oder mit Gebrauchsspuren am Cover
Gut als Geschenk geeignet

Gut

Sichtbare Gebrauchsspuren auf einzelnen Seiten
z.B. mit einem gebrauchten Buchrücken, ohne Schuber/Umschlag, mehreren Markierungen, altersbedingte Vergilbung
Könnte ein Mängelexemplar sein
Gut für den Eigenbedarf geeignet

Stark genutzt

Starke Gebrauchsspuren auf einzelnen Seiten
z.B. mit einem gebrauchten Buchrücken, ohne Schuber/Umschlag, mehreren Markierungen, altersbedingte Vergilbung
Könnte ein Mängelexemplar sein
Gut für den Eigenbedarf geeignet