Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

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

Sprache

Englisch

Buch Hardcover

Libristo-Code: 01567359

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, März 2008

Temporal Logic has been developed during the last 25 years to a basic and powerful formal setting fo... Vollständige Beschreibung

Libristo-Code: 01567359

197 b

80.59 € inkl. MwSt.

Externes Lager Wir versenden in 10-13 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Juste une question de Temps Sarah Barzyk

Broschur

9.59 €

Le rêve du collectionneur Pierre FURLAN Buch

Broschur

30.49 €

PIANO TRIO -PARTITION+PARTIES SEPAREES WOLFGANG FORTNER Drucksachen

Noten

48.09 €

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

Broschur

13.19 €

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

Broschur

14.99 €

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

Broschur

25.19 €

Civil Law Status Of Trade Marks Zafar Babakulov

Broschur

66.99 €

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

Kalender

21.99 €

The Cruel Agreement - Versprochen an den Teufel

Broschur

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

Broschur

11.69 €

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

Broschur

30.79 €

Historien om populära samtida uppfinningar Ashoka Jahnavi Prasad

Broschur

10.69 €

Digitale Öffentlichkeit(en) Oliver Hahn

Broschur

34.00 €

Actitud ANNE LACATON

Broschur

15.99 €

Heliotropismus der Tiere und seine UEbereinstimmung Jacques Loeb

Broschur

16.90 €

Erzahlung seiner Fluchtversuche aus Magdeburg nach eigenhandigen Aufzeichnungen Friedrich von Trenck

Broschur

16.90 €

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

Broschur

67.59 €

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

Broschur

13.19 €

Der Schatz auf Pagensand Uwe Timm

Broschur

10.00 €

Geheimcode B 13, 2 DVDs Armin Müller

DVD

18.49 €

Das Alte Reich. Volker Press

Broschur

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Temporal Logic and State Systems

Autor Fred Kröger, Stefan Merz

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2008

Anzahl der Seiten 436

EAN 9783540674016

ISBN 3540674012

Libristo-Code 01567359

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 840

Abmessungen 155 x 235 x 30

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert