Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

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

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 01567359

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marec 2008

Temporal Logic has been developed during the last 25 years to a basic and powerful formal setting fo... Celý popis

Libristo kód: 01567359

187 b

77.27 €

Skladom u dodávateľa Odosielame za 10-13 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Juste une question de Temps Sarah Barzyk

Brožovaná

9.70 €

Le rêve du collectionneur Pierre FURLAN Kniha

Brožovaná

29.53 €

PIANO TRIO -PARTITION+PARTIES SEPAREES WOLFGANG FORTNER Tlačovina

Noty

46.62 €

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

Brožovaná

12.13 €

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

Brožovaná

13.75 €

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

Brožovaná

24.17 €

Civil Law Status Of Trade Marks Zafar Babakulov

Brožovaná

64.02 €

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

Kalendár

19.61 €

The Cruel Agreement - Versprochen an den Teufel

Brožovaná

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

Brožovaná

11.32 €

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

Brožovaná

28.31 €

Historien om populära samtida uppfinningar Ashoka Jahnavi Prasad

Brožovaná

9.80 €

Digitale Öffentlichkeit(en) Oliver Hahn

Brožovaná

30.44 €

Actitud ANNE LACATON

Brožovaná

15.47 €

Heliotropismus der Tiere und seine UEbereinstimmung Jacques Loeb

Brožovaná

15.26 €

Erzahlung seiner Fluchtversuche aus Magdeburg nach eigenhandigen Aufzeichnungen Friedrich von Trenck

Brožovaná

15.26 €

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

Brožovaná

65.74 €

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

Brožovaná

12.13 €

Der Schatz auf Pagensand Uwe Timm

Brožovaná

9.09 €

Geheimcode B 13, 2 DVDs Armin Müller

DVD

17.89 €

Das Alte Reich. Volker Press

Brožovaná

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.