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

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.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: 80.59 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

197 b

80.59 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

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

Paperback

14.19 €

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

Board book

11.99 €

Stowasser - Neubearbeitung Barbara Dowlasz

Hardback

29.29 €

Order-Flow Und Preissetzung Im Wandel Der Devisenmarktstruktur Sebastian Wanke

Paperback

136.79 €

ARA-EGYPTIAN YOGA VOL 2 AFRICA Muata Ashby

Paperback

20.09 €

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

Hardback

79.00 €

Sakana Michael Mario Frese

Paperback

35.00 €

Vom Notendrucker zum Rechtemakler Urs Pfeiffer

Paperback

28.79 €

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

Hardback

34.79 €

Med Tilhörende Glossarium... Carl Rikard Unger

Paperback

21.99 €

Ferîdûn Bey Nicolas Vatin

Paperback

72.89 €

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.