Name: Duration Calculus
Price: 106 CHF
Availability: InStock
ISBN: 9783642074042

productDetailPageQuery

Zürich

Lausanne

Wohlen

Basel

Kriens

Winterthur

Bern

Dietikon

St. Gallen

Genf

Springer

Das Buch "Duration Calculus" bietet eine umfassende Einführung in die formalen Grundlagen des Duration Calculus, einer speziellen Logik zur Entwicklung von Echtzeitsystemen. Es behandelt die einzigartigen Merkmale dieser Logik, die es ermöglichen, Zeitdauern von Zuständen in Echtzeitsystemen präzise auszudrücken und zu analysieren. Durch eine klare und systematische Darstellung wird das Konzept des Duration Calculus sowohl für die formale Spezifikation als auch für die Verifikation von Echtzeitsystemen erläutert. Das Buch enthält zudem ausgewählte Fallstudien, die die praktische Anwendung des Duration Calculus veranschaulichen, sowie eine umfassende Übersicht über die aktuelle Forschung in diesem Bereich. Es richtet sich an Studierende auf Master- und Doktoratsniveau sowie an erfahrene Forscher und Fachleute, die sich mit der Entwicklung und Analyse von Echtzeitsystemen beschäftigen.

Produktbild Duration Calculus (Englisch, Softcover, Chaochen Zhou, Michael R Hansen)

Das Wichtigste auf einen Blick

Thema

Unterthema

Sprache

Autor

Jahr

Anzahl Seiten

Bucheinband

Duration Calculus

Fachbücher

30 Tage Rückgaberecht - ungeöffnet

Allgemeine Informationen

Buch Eigenschaften

Freiwilliger Klimabeitrag

Produktdimensionen

Keine Garantie

Suche

Einstellungen

Kundenkonto

Vergleichslisten

Merklisten

Warenkorb

Duration Calculus

Bucheinband2

Im Detail

Produkte vergleichen

Passend dazu

Duration Calculus

Bucheinband2

Ähnliche Produkte mit besserer Verfügbarkeit

Im Detail

Beschreibung

Spezifikationen

Preisentwicklung

Garantie- & Rückgabequoten

Fragen zum Produkt0

Produktbewertungen0

Produkte vergleichen

Verkaufsrang in Fachbücher

Passend dazu

Oft zusammen gekauft