Verification of Reactive Systems | Formal Methods and Algorithms | Klaus Schneider | Taschenbuch | Texts in Theoretical Computer Science. An EATCS Series | Paperback | xiv | Englisch | 2010 - Paperback
2010, ISBN: 9783642055553
Hardcover
[ED: Taschenbuch], [PU: Springer-Verlag GmbH], Reactive systems are becoming more and more important for essentially all areas of technical and professional activities as well as for many… More...
booklooker.de |
Verification of Reactive Systems / Formal Methods and Algorithms / Klaus Schneider / Taschenbuch / Texts in Theoretical Computer Science. An EATCS Series / Paperback / xiv / Englisch / 2010 - Paperback
2010, ISBN: 9783642055553
Hardcover
[ED: Taschenbuch], [PU: Springer-Verlag GmbH], Reactive systems are becoming more and more important for essentially all areas of technical and professional activities as well as for many… More...
booklooker.de |
Verification of Reactive Systems : Formal Methods and Algorithms - Paperback
2010, ISBN: 3642055559
[EAN: 9783642055553], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], AUTOMATA; LOGIC; SYSTEM; AUTOMAT; VARIABLE, Druck auf Anfrage Neuware - Printed after ordering - Reactive syste… More...
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Shipping costs:Versandkostenfrei. (EUR 0.00) Details... |
Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series) - Paperback
2010, ISBN: 9783642055553
Springer Berlin Heidelberg, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2004, 620 Seiten, Publiziert: 2010-02-19T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 978364205… More...
Amazon.de (Intern... |
Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series) - Paperback
2010, ISBN: 9783642055553
Springer Berlin Heidelberg, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2004, 620 Seiten, Publiziert: 2010-02-19T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 978364205… More...
Amazon.de (Intern... Shipping costs:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
Verification of Reactive Systems | Formal Methods and Algorithms | Klaus Schneider | Taschenbuch | Texts in Theoretical Computer Science. An EATCS Series | Paperback | xiv | Englisch | 2010 - Paperback
2010, ISBN: 9783642055553
Hardcover
[ED: Taschenbuch], [PU: Springer-Verlag GmbH], Reactive systems are becoming more and more important for essentially all areas of technical and professional activities as well as for many… More...
Schneider, Klaus:
Verification of Reactive Systems / Formal Methods and Algorithms / Klaus Schneider / Taschenbuch / Texts in Theoretical Computer Science. An EATCS Series / Paperback / xiv / Englisch / 2010 - Paperback2010, ISBN: 9783642055553
Hardcover
[ED: Taschenbuch], [PU: Springer-Verlag GmbH], Reactive systems are becoming more and more important for essentially all areas of technical and professional activities as well as for many… More...
Verification of Reactive Systems : Formal Methods and Algorithms - Paperback
2010
ISBN: 3642055559
[EAN: 9783642055553], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], AUTOMATA; LOGIC; SYSTEM; AUTOMAT; VARIABLE, Druck auf Anfrage Neuware - Printed after ordering - Reactive syste… More...
Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series) - Paperback
2010, ISBN: 9783642055553
Springer Berlin Heidelberg, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2004, 620 Seiten, Publiziert: 2010-02-19T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 978364205… More...
Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series) - Paperback
2010, ISBN: 9783642055553
Springer Berlin Heidelberg, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2004, 620 Seiten, Publiziert: 2010-02-19T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 978364205… More...
Bibliographic data of the best matching book
Author: | |
Title: | |
ISBN: |
Details of the book - Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)
EAN (ISBN-13): 9783642055553
ISBN (ISBN-10): 3642055559
Hardcover
Paperback
Publishing year: 2010
Publisher: Springer Berlin Heidelberg
620 Pages
Weight: 1,037 kg
Language: eng/Englisch
Book in our database since 2011-10-25T18:15:11+01:00 (London)
Detail page last modified on 2024-04-21T15:33:09+01:00 (London)
ISBN/EAN: 3642055559
ISBN - alternate spelling:
3-642-05555-9, 978-3-642-05555-3
Alternate spelling and related search-keywords:
Book author: klaus schneider
Book title: system, klaus, algorithms
Information from Publisher
Author: Klaus Schneider
Title: Texts in Theoretical Computer Science. An EATCS Series; Verification of Reactive Systems - Formal Methods and Algorithms
Publisher: Springer; Springer Berlin
602 Pages
Publishing year: 2010-12-08
Berlin; Heidelberg; DE
Printed / Made in
Weight: 1,037 kg
Language: English
54,99 € (DE)
BC; Theory of Computation; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Automat; Variable; algorithms; automata; logic; system; Software Engineering/Programming and Operating Systems; Mathematical Logic and Formal Languages; Theory of Computation; Software Engineering; Formal Languages and Automata Theory; Software Engineering; BB
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.More/other books that might be very similar to this book
Latest similar book:
9783662107782 Verification of Reactive Systems (Klaus Schneider)
< to archive...