Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 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: 80.59 EUR
Availability: InStock
Author: Fred Kröger
ISBN: 9783540674016

Fred Kröger

Stefan Merz

Lingua

Inglese

Libro Rigido

Codice Libristo: 01567359

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marzo 2008

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

Codice Libristo: 01567359

197 b

80.59 €

Magazzino esterno Inviamo tra 10-13 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Le rêve du collectionneur Pierre FURLAN Libro

In brossura

30.49 €

The Cruel Agreement - Versprochen an den Teufel

In brossura

20.69 €

PIANO TRIO -PARTITION+PARTIES SEPAREES WOLFGANG FORTNER Pubblicazioni cartacee

Note

48.09 €

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

In brossura

13.19 €

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

In brossura

14.99 €

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

In brossura

25.19 €

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

Calendario

20.49 €

Juste une question de Temps Sarah Barzyk

In brossura

9.59 €

Civil Law Status Of Trade Marks Zafar Babakulov

In brossura

66.99 €

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

In brossura

11.69 €

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

In brossura

30.79 €

Historien om populära samtida uppfinningar Ashoka Jahnavi Prasad

In brossura

10.69 €

Digitale Öffentlichkeit(en) Oliver Hahn

In brossura

31.79 €

Actitud ANNE LACATON

In brossura

15.29 €

Heliotropismus der Tiere und seine UEbereinstimmung Jacques Loeb

In brossura

15.99 €

Erzahlung seiner Fluchtversuche aus Magdeburg nach eigenhandigen Aufzeichnungen Friedrich von Trenck

In brossura

15.99 €

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

In brossura

64.99 €

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

In brossura

13.19 €

Der Schatz auf Pagensand Uwe Timm

In brossura

9.59 €

Geheimcode B 13, 2 DVDs Armin Müller

DVD

18.49 €

Das Alte Reich. Volker Press

In brossura

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.