Duration Calculus

Englisch, Chaochen Zhou, Michael R. Hansen, 2003
Bewertungen
MarkeMehr von Springer
Zwischen Fr, 2.10. und Fr, 9.10. geliefert
kostenloser Versand

Bucheinband2

Produktinformationen

Der Dauer-Kalkül stellt einen formalen Ansatz zur Entwicklung von Echtzeitsystemen dar. Als Intervalllogik mit speziellen Merkmalen zur Darstellung und Analyse von Zeitdauern von Zuständen in Echtzeitsystemen ermöglicht er es, Anforderungen und Entwürfe auf einem angemessenen Abstraktionsniveau darzustellen und formal zu begründen. Dieses Buch präsentiert die logischen Grundlagen des Dauer-Kalküls in einer kohärenten und gründlichen Weise. Durch ausgewählte Fallstudien wird erklärt, wie der Dauer-Kalkül auf die formale Spezifikation und Verifikation von Echtzeitsystemen angewendet werden kann. Das Buch enthält zudem eine umfassende Übersicht über die aktuelle Forschung auf diesem Gebiet. Das in diesem Buch enthaltene Material wurde in Graduierten- und Postgraduiertenkursen verwendet und ist auch für erfahrene Forscher und Fachleute geeignet.

Das Wichtigste auf einen Blick

Thema
Technik & IT
Sprache
Englisch
Autor
Chaochen Zhou, Michael R. Hansen
Jahr
2003
Anzahl Seiten
250
Bucheinband
Hardcover

Allgemeine Informationen

Artikelnummer
35139759
Verlag
Springer
Kategorie
Fachbücher
Herstellernr.
9783540408239
Release-Datum
17.5.2023

Buch Eigenschaften

Thema
Technik & IT
Sprache
Englisch
Autor
Chaochen Zhou, Michael R. Hansen
Jahr
2003
Anzahl Seiten
250
Auflage
1
Bucheinband
Hardcover

Freiwilliger Klimabeitrag

CO₂-Emission
0.35 kg
Klimabeitrag
CHF 0.11

Produktdimensionen

Höhe
235 mm
Breite
155 mm
Gewicht
502 g

30 Tage Rückgaberecht wenn ungeöffnet
Keine Garantie

Produkte vergleichen

Alle anzeigen

Passend dazu

Bewertungen & Meinungen

Garantiefallquote

So oft weist ein Produkt dieser Marke in der Kategorie «Fachbücher» innerhalb der ersten 24 Monate einen Defekt auf.

Quelle: Digitec Galaxus
  • 1.Reclam
    0 %
  • 1.Rheinwerk
    0 %
  • 1.Springer
    0 %
  • 1.Stämpfli
    0 %
  • 1.Urban & Fischer
    0 %

Garantiefalldauer

So lange dauert eine Abwicklung ab Ankunft bei der Servicestelle bis Wiedererhalt in Arbeitstagen im Durchschnitt.

Quelle: Digitec Galaxus
  • Springer
    Ungenügende Daten
  • An der Ruhr
    Ungenügende Daten
  • Anaconda
    Ungenügende Daten
  • Artist Ahead
    Ungenügende Daten
  • Avery Publishing Group
    Ungenügende Daten

Leider haben wir für diese Kategorie aktuell noch nicht genügend Daten, um dir mehr Quoten anzuzeigen.

Rückgabequote

So oft wird ein Produkt dieser Marke in der Kategorie «Fachbücher» retourniert.

Quelle: Digitec Galaxus
  • 65.Orell Füssli
    1.2 %
  • 65.Rheinwerk
    1.2 %
  • 65.Springer
    1.2 %
  • 65.Urban & Fischer
    1.2 %
  • 73.Campus
    1.3 %
Quelle: Digitec Galaxus