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: 01567359
Price: 80.59 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

197 b

80.59 € VAT included

In stock at our supplier Shipping in 10-13 days

Delivery to Austria

30-day return policy

Customers also purchased

Juste une question de Temps Sarah Barzyk

Paperback

9.59 €

Le rêve du collectionneur Pierre FURLAN Book

Paperback

30.49 €

PIANO TRIO -PARTITION+PARTIES SEPAREES WOLFGANG FORTNER Printed items

Sheet music

48.09 €

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

Paperback

13.19 €

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

Paperback

14.99 €

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

Paperback

25.19 €

Civil Law Status Of Trade Marks Zafar Babakulov

Paperback

66.99 €

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

Calendar

21.99 €

The Cruel Agreement - Versprochen an den Teufel

Paperback

22.00 €

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

binding.

31.69 €

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

Paperback

11.69 €

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

Paperback

30.79 €

Historien om populära samtida uppfinningar Ashoka Jahnavi Prasad

Paperback

10.69 €

Digitale Öffentlichkeit(en) Oliver Hahn

Paperback

34.00 €

Actitud ANNE LACATON

Paperback

15.99 €

Heliotropismus der Tiere und seine UEbereinstimmung Jacques Loeb

Paperback

16.90 €

Erzahlung seiner Fluchtversuche aus Magdeburg nach eigenhandigen Aufzeichnungen Friedrich von Trenck

Paperback

16.90 €

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

Paperback

67.59 €

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

Paperback

13.19 €

Der Schatz auf Pagensand Uwe Timm

Paperback

10.00 €

Geheimcode B 13, 2 DVDs Armin Müller

DVD

18.49 €

Das Alte Reich. Volker Press

Paperback

120.89 €

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.