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 (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, 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: 3642055559
Hardcover
Softcover reprint of hardcover 1st ed. 2004 Kartoniert / Broschiert Theoretische Informatik, automata; logic; system; Automat; Variable, mit Schutzumschlag 11, [PU:Springer Berlin Heide… More...
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Shipping costs:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
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, Hersteller-Nr.: 978364205… 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, 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, 2.29 kg, Informatik, IT-A… More...
2010, ISBN: 3642055559
Hardcover
Softcover reprint of hardcover 1st ed. 2004 Kartoniert / Broschiert Theoretische Informatik, automata; logic; system; Automat; Variable, mit Schutzumschlag 11, [PU:Springer Berlin Heide… More...
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 2024-04-15T08:28:29+01: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...