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, 2.29 kg, Informatik, IT-A… 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, 2.29 kg, Informatik, IT-A… More...
Amazon.de (Intern... Shipping costs:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
2010, ISBN: 9783642055553
Springer Berlin Heidelberg, 2010. Paperback. New. reprint edition. 614 pages. 9.50x6.50x1.40 inches., Springer Berlin Heidelberg, 2010, 6
Biblio.co.uk |
ISBN: 9783642055553
paperback, [PU: Springer, Berlin/Heidelberg/New York, NY]
Blackwells.co.uk |
ISBN: 9783642055553
Springer , pp. 620 . Papeback. New., Springer, 6
Biblio.co.uk |
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, 2.29 kg, Informatik, IT-A… More...
Schneider, Klaus:
Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series) - Paperback2010, ISBN: 9783642055553
Springer Berlin Heidelberg, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2004, 620 Seiten, Publiziert: 2010-02-19T00:00:01Z, Produktgruppe: Buch, 2.29 kg, Informatik, IT-A… More...
2010
ISBN: 9783642055553
Springer Berlin Heidelberg, 2010. Paperback. New. reprint edition. 614 pages. 9.50x6.50x1.40 inches., Springer Berlin Heidelberg, 2010, 6
ISBN: 9783642055553
paperback, [PU: Springer, Berlin/Heidelberg/New York, NY]
ISBN: 9783642055553
Springer , pp. 620 . Papeback. New., Springer, 6
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 2023-11-11T12:30:04+00:00 (London)
ISBN/EAN: 9783642055553
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
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...