- 5 Results
Lowest price: € 51.98, highest price: € 75.36, average price: € 61.00
1
Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series) - Schneider, Klaus
Order
at Amazon.de (Intern. Bücher)
€ 57.02
Shipment: € 0.001
OrderSponsored link
Schneider, Klaus:

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...

Shipping costs:Auf Lager, Lieferung von Amazon. (EUR 0.00) Amazon.de
2
Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series) - Schneider, Klaus
Order
at Amazon.de (Intern. Bücher)
€ 51.98
Shipment: € 3.001
OrderSponsored link

Schneider, Klaus:

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...

Shipping costs:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
3
Order
at Biblio.co.uk
$ 80.51
(aprox. € 75.36)
Shipment: € 11.731
OrderSponsored link
Klaus Schneider:
Verification of Reactive Systems: Formal Methods and Algorithms - Paperback

2010

ISBN: 9783642055553

Springer Berlin Heidelberg, 2010. Paperback. New. reprint edition. 614 pages. 9.50x6.50x1.40 inches., Springer Berlin Heidelberg, 2010, 6

Shipping costs: EUR 11.73 Revaluation Books
4
Verification of Reactive Systems : Formal Methods and Algorithms - Schneider, Klaus
Order
at Blackwells.co.uk
£ 48.45
(aprox. € 55.41)
Shipment: € 7.431
OrderSponsored link
Schneider, Klaus:
Verification of Reactive Systems : Formal Methods and Algorithms - Paperback

ISBN: 9783642055553

paperback, [PU: Springer, Berlin/Heidelberg/New York, NY]

in stock. Shipping costs:Unknown. (EUR 7.43) Blackwells.co.uk
5
Order
at Biblio.co.uk
$ 69.70
(aprox. € 65.24)
Shipment: € 16.851
OrderSponsored link
Klaus Schneider:
Verification of Reactive Systems - new book

ISBN: 9783642055553

Springer , pp. 620 . Papeback. New., Springer, 6

Shipping costs: EUR 16.85 Cold Books

1As some platforms do not transmit shipping conditions to us and these may depend on the country of delivery, the purchase price, the weight and size of the item, a possible membership of the platform, a direct delivery by the platform or via a third-party provider (Marketplace), etc., it is possible that the shipping costs indicated by euro-book.co.uk / euro-book.co.uk do not correspond to those of the offering platform.

Bibliographic data of the best matching book

Details of the book
Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)

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 materialProves all theorems in detailPresents detailed algorithms in pseudo-code for verification as well as translations to other formalisms

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...