Free delivery for orders over 69.99€

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 €

Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99€

Temporal Logic and State Systems

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

81.74 €

159.88 лв

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

71.32 € 139.49 лв

Order-Flow Und Preissetzung Im Wandel Der Devisenmarktstruktur Sebastian Wanke

Paperback

138.80 € 271.47 лв

Med Tilhörende Glossarium... Carl Rikard Unger

Paperback

21.31 € 41.69 лв

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

Hardback

33.66 € 65.83 лв

La Callejuela del Oro Carlos González Rivera

Hardback

9.54 € 18.66 лв

Au Bonheur des Dames Émile Zola

Paperback

7.20 € 14.09 лв

Grundlagen Der Steuerungstechnik Cihat Karaali

Paperback

40.04 € 78.31 лв

ARA-EGYPTIAN YOGA VOL 2 AFRICA Muata Ashby

Paperback

19.34 € 37.83 лв

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

Board book

10.89 € 21.29 лв

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

Paperback

13.12 € 25.66 лв

Stowasser - Neubearbeitung Barbara Dowlasz

Hardback

29.72 € 58.12 лв

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

Hardback

74.64 € 145.98 лв

Sakana Michael Mario Frese

Paperback

33.24 € 65.02 лв

Vom Notendrucker zum Rechtemakler Urs Pfeiffer

Paperback

28.99 € 56.70 лв

Ferîdûn Bey Nicolas Vatin

Paperback

73.76 € 144.25 лв

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.