Free delivery for orders over 69.99 euro.

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

Temporal Logic and State Systems

Name: Temporal Logic and State Systems
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01653648
Price: 77.13 EUR
Availability: InStock
Author: Fred Kröger
ISBN: 9783642086809

Fred Kröger

Stephan Merz

Language

English

Book Paperback

Libristo code: 01653648

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, November 2010

Temporal logic has developed over the last 30 years into a powerful formal setting for the specifica... Full description

Libristo code: 01653648

187 b

77.13 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Le Khedive Et Le Sultan, Etude Sur La Question Turco-Egyptienne Guillaumot-H

Paperback

13.62 €

Wieso? Weshalb? Warum? junior, Band 28: Wenn es dunkel wird Constanza Droop

Board book

10.19 €

Stowasser - Neubearbeitung Barbara Dowlasz

Hardback

28.16 €

Order-Flow Und Preissetzung Im Wandel Der Devisenmarktstruktur Sebastian Wanke

Paperback

131.25 €

ARA-EGYPTIAN YOGA VOL 2 AFRICA Muata Ashby

Paperback

19.28 €

Tabellenhandbuch zur Ermittlung des Verkehrswerts und des Beleihungswerts von Grundstücken Wolfgang Kleiber

Hardback

70.26 €

Sakana Michael Mario Frese

Paperback

31.19 €

Vom Notendrucker zum Rechtemakler Urs Pfeiffer

Paperback

27.76 €

Der Formalismus in Kant's Rechtsphilosophie (1902) Hermann Bargmann

Hardback

33.51 €

Med Tilhörende Glossarium... Carl Rikard Unger

Paperback

21.19 €

Ferîdûn Bey Nicolas Vatin

Paperback

69.96 €

Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic; TLA (Temporal Logic of Actions); automata theoretical connections; model checking; and related theories. §All theoretical details and numerous application examples are elaborated carefully and with full formal rigor, and the book will serve as a basic source and reference for lecturers, graduate students and researchers.