Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Temporal Logic and State Systems

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

203 b

30 322 Ft

In stock at our supplier Shipping in 10-13 days

Up to 30 days for returns

Customers also purchased

Erzahlung seiner Fluchtversuche aus Magdeburg nach eigenhandigen Aufzeichnungen Friedrich von Trenck

Paperback

6 027 Ft

Sophienlust 299 - Familienroman Elisabeth Swoboda

Adobe ePub DRM

1 388 Ft

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

Paperback

4 371 Ft

W cieniu błyskawic. Trylogia Magów Szkła. Tom 1 Brian McClellan

Paperback

5 864 Ft

Heliotropismus der Tiere und seine UEbereinstimmung Jacques Loeb

Paperback

6 027 Ft

The Cruel Agreement - Versprochen an den Teufel

Paperback

7 807 Ft

Actitud ANNE LACATON

Paperback

5 537 Ft

Das Alte Reich. Volker Press

Paperback

49 559 Ft

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

Paperback

5 176 Ft

El banc blau ALBERT ASENSIO

Hardback

5 374 Ft

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

Paperback

23 667 Ft

Civil Law Status Of Trade Marks Zafar Babakulov

Paperback

25 279 Ft

Juste une question de Temps Sarah Barzyk

Paperback

2 195 Ft

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

Paperback

4 954 Ft

PIANO TRIO -PARTITION+PARTIES SEPAREES WOLFGANG FORTNER Printed items

Sheet music

16 399 Ft

Le rêve du collectionneur Pierre FURLAN Book

Paperback

10 254 Ft

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

binding.

10 669 Ft

jaime pas les bisous Monfils

Hardback

6 027 Ft

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

Paperback

5 404 Ft

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

Paperback

11 582 Ft

Historien om populära samtida uppfinningar Ashoka Jahnavi Prasad

Paperback

4 028 Ft

Digitale Öffentlichkeit(en) Oliver Hahn

Paperback

12 014 Ft

Geheimcode B 13, 2 DVDs Armin Müller

DVD

6 970 Ft

Der Schatz auf Pagensand Uwe Timm

Paperback

3 851 Ft

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.