- 0 Results
Lowest price: € 80.02, highest price: € 91.58, average price: € 86.80
1
Verification of Reactive Systems - Klaus Schneider
Order
at Springer.com
€ 85.59
Order
Klaus Schneider:

Verification of Reactive Systems - Paperback

ISBN: 9783642055553

Reactive systems are becoming more and more important for essentially all areas of technical and professional activities as well as for many areas of everyday life. The design of these sy… More...

new in stock. Shipping costs:zzgl. Versandkosten., plus shipping costs
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)
€ 91.58
Shipment: € 0.00
Order

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: Book, 2.29 kg, Verkaufsrang: 25… More...

Shipping costs:Auf Lager. Lieferung von Amazon. (EUR 0.00) Amazon.de
3
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)
€ 80.02
Shipment: € 3.00
Order
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: Book, 2.29 kg, Verkaufsrang: 25… More...

Shipping costs:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
Paid advertisement
4
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)
€ 91.20
Shipment: € 0.00
Order
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: Book, 2.29 kg, Verkaufsrang: 25… More...

Shipping costs:Auf Lager. Lieferung von Amazon. (EUR 0.00) Amazon.de
5
Verification of Reactive Systems Formal Methods and Algorithms - Schneider, Klaus
Order
at Achtung-Buecher.de
€ 85.59
Shipment: € 0.00
Order
Schneider, Klaus:
Verification of Reactive Systems Formal Methods and Algorithms - Paperback

2010, ISBN: 3642055559

Hardcover

Softcover reprint of hardcover 1st ed. 2004 Kartoniert / Broschiert Betriebssysteme, Informatik, Theoretische Informatik, Automat; Variable; automata; logic; system, mit Schutzumschlag … More...

Shipping costs:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien

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 2021-04-04T22:44:39+01:00 (London)
ISBN/EAN: 9783642055553

ISBN - alternate spelling:
3-642-05555-9, 978-3-642-05555-3


More/other books that might be very similar to this book

Latest similar book:
9783662107782 Verification of Reactive Systems (50-99.99)


< to archive...