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

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.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: 01653648
Price: 68.19 EUR
Availability: InStock
Author: Fred Kröger
ISBN: 9783642086809

Fred Kröger

Stephan Merz

Sprache

Englisch

Buch Broschur

Libristo-Code: 01653648

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, November 2010

Temporal logic has developed over the last 30 years into a powerful formal setting for the specifica... Vollständige Beschreibung

Libristo-Code: 01653648

167 b

68.19 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Elektromotoren Fur Gleichstrom Gustav Roessler

Broschur

69.99 €

Wieso? Weshalb? Warum? junior, Band 28: Wenn es dunkel wird Constanza Droop

Leporello

11.99 €

Order-Flow Und Preissetzung Im Wandel Der Devisenmarktstruktur Sebastian Wanke

Broschur

132.40 €

ARA-EGYPTIAN YOGA VOL 2 AFRICA Muata Ashby

Broschur

20.09 €

Le Khedive Et Le Sultan, Etude Sur La Question Turco-Egyptienne Guillaumot-H

Broschur

10.89 €

Grundlagen Der Steuerungstechnik Cihat Karaali

Broschur

39.99 €

Stowasser - Neubearbeitung Barbara Dowlasz

Hardcover

26.75 €

La Callejuela del Oro Carlos González Rivera

Hardcover

8.09 €

Tabellenhandbuch zur Ermittlung des Verkehrswerts und des Beleihungswerts von Grundstücken Wolfgang Kleiber

Hardcover

79.00 €

Der Formalismus in Kant's Rechtsphilosophie (1902) Hermann Bargmann

Hardcover

34.79 €

Med Tilhörende Glossarium... Carl Rikard Unger

Broschur

21.99 €

Sakana Michael Mario Frese

Broschur

35.00 €

Vom Notendrucker zum Rechtemakler Urs Pfeiffer

Broschur

24.90 €

Ferîdûn Bey Nicolas Vatin

Broschur

58.29 €

Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic; TLA (Temporal Logic of Actions); automata theoretical connections; model checking; and related theories. §All theoretical details and numerous application examples are elaborated carefully and with full formal rigor, and the book will serve as a basic source and reference for lecturers, graduate students 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, Stephan Merz

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2010

Anzahl der Seiten 436

EAN 9783642086809

ISBN 3642086802

Libristo-Code 01653648

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

Gewicht 682

Abmessungen 155 x 235 x 25

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