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.49 €

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: 01567359
Price: 77.27 EUR
Availability: InStock
Author: Fred Kröger
ISBN: 9783540674016

Fred Kröger

Stefan Merz

Language

English

Book Hardback

Libristo code: 01567359

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, March 2008

Temporal Logic has been developed during the last 25 years to a basic and powerful formal setting fo... Full description

Libristo code: 01567359

187 b

77.27 €

In stock at our supplier Shipping in 10-13 days

30-day return policy

Customers also purchased

Juste une question de Temps Sarah Barzyk

Paperback

9.70 €

Le rêve du collectionneur Pierre FURLAN Book

Paperback

29.53 €

PIANO TRIO -PARTITION+PARTIES SEPAREES WOLFGANG FORTNER Printed items

Sheet music

46.62 €

Mariage de Mlle Marguerite Dauve Avec M. Lucien Guy, 18 Novembre 1890 Romain Sourrieu

Paperback

12.74 €

Škola kreslení roztomilých příšerek Naomi Lord

Paperback

14.35 €

La Pandilla 2 Metodická příručka Elena González Hortelano

Paperback

24.17 €

Civil Law Status Of Trade Marks Zafar Babakulov

Paperback

64.02 €

Silberhaar (Wandkalender 2026 DIN A4 hoch), CALVENDO Monatskalender Calvendo

Calendar

19.61 €

The Cruel Agreement - Versprochen an den Teufel

Paperback

19.72 €

Sur le sentier du SISU - Pour développer l'énergie du gagnant en Soi - Livre + CD Saint-Laurent

binding.

30.74 €

Le journal de bord d'une hôtesse de l'air Nadame

Paperback

11.32 €

Die Volkserhebung Der Jahre 1848 Und 1849 In Deutschland (1900) Otto Hartmann

Paperback

29.73 €

Historien om populära samtida uppfinningar Ashoka Jahnavi Prasad

Paperback

10.31 €

Digitale Öffentlichkeit(en) Oliver Hahn

Paperback

30.44 €

Actitud ANNE LACATON

Paperback

15.47 €

Heliotropismus der Tiere und seine UEbereinstimmung Jacques Loeb

Paperback

15.26 €

Erzahlung seiner Fluchtversuche aus Magdeburg nach eigenhandigen Aufzeichnungen Friedrich von Trenck

Paperback

15.26 €

Servicio Gallego de Salud. Temario común Miguel Ángel Estévez Fernández

Paperback

65.74 €

Chambre Des Deputes. Aux Chambres. Ne Precipitons Rien Ou Un Mot Sans Auteur

Paperback

12.74 €

Der Schatz auf Pagensand Uwe Timm

Paperback

9.09 €

Geheimcode B 13, 2 DVDs Armin Müller

DVD

17.89 €

Das Alte Reich. Volker Press

Paperback

116.52 €

Temporal Logic has been developed during the last 25 years to a basic and powerful formal setting for the specification and verification of state based systems. This book, based on manifold university lectures given by the authors, gives a comprehensive description of this field. It presents concisely and uniformly the up to date material of the theory and applications of linear and branching time Temporal Logic, Temporal Logic of Actions, automata theoretical connections, model checking and others. All theoretical details as well as the numerous application examples are elaborated carefully and with all formal rigor, so intended to serve as a basic source and reference for active lectures and researchers.