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

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Temporal Logic and State Systems

Name: Temporal Logic and State Systems
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01653648
Price: 77.1 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.10 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Elektromotoren Fur Gleichstrom Gustav Roessler

Paperback

67.31 €

Ferîdûn Bey Nicolas Vatin

Paperback

69.93 €

Vom Notendrucker zum Rechtemakler Urs Pfeiffer

Paperback

27.75 €

Sakana Michael Mario Frese

Paperback

31.18 €

Med Tilhörende Glossarium... Carl Rikard Unger

Paperback

21.18 €

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

Hardback

33.50 €

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

Hardback

70.13 €

La Callejuela del Oro Carlos González Rivera

Hardback

8.97 €

Stowasser - Neubearbeitung Barbara Dowlasz

Hardback

28.15 €

Grundlagen Der Steuerungstechnik Cihat Karaali

Paperback

37.74 €

ARA-EGYPTIAN YOGA VOL 2 AFRICA Muata Ashby

Paperback

19.27 €

Order-Flow Und Preissetzung Im Wandel Der Devisenmarktstruktur Sebastian Wanke

Paperback

131.20 €

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

Board book

10.18 €

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

Paperback

13.11 €

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.