WELTBILD und Partner brauchen Ihre Zustimmung (Klick auf „OK”) bei vereinzelten Datennutzungen, um unter anderem Informationen zu Ihren Interessen anzuzeigen. Die Verwendung von Cookies können Sie hier ablehnen. Die Einwilligung kann jederzeit in der Datenschutzerklärung widerrufen werden.
OK

Duration Calculus

A Formal Approach to Real-time Systems (Sprache: Englisch)
Merken
Teilen
Merken
Teilen
 
 
A comprehensive introduction to interval logic and duration calculus for modelling, analysing and verifying real-time systems. The Duration Calculus (DC) represents a logical approach to formal design of real-time systems. In DC real numbers are used to...
Voraussichtlich lieferbar in 5 Tag(en)
versandkostenfrei

Bestellnummer: 1364934

Buch 149.79
Jetzt vorbestellen
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich
Voraussichtlich lieferbar in 5 Tag(en)
versandkostenfrei

Bestellnummer: 1364934

Buch 149.79
Jetzt vorbestellen
A comprehensive introduction to interval logic and duration calculus for modelling, analysing and verifying real-time systems. The Duration Calculus (DC) represents a logical approach to formal design of real-time systems. In DC real numbers are used to...
Andere Kunden interessierten sich auch für
eBook

Statt 149.79 19

135.23

Erschienen am 14.03.2013
Leider schon ausverkauft
Buch

128.39

Vorbestellen
Erschienen am 21.05.2004
Voraussichtlich lieferbar in 3 Tag(en)

Echtzeitsysteme

Dieter Zöbel

0 Sterne
Buch

34.99

In den Warenkorb
Erschienen am 22.01.2020
lieferbar
Buch

112.34

In den Warenkorb
Erschienen am 28.10.2004
lieferbar

Moderne Realzeitsysteme kompakt

Jürgen Quade, Michael Mächtel

0 Sterne
Buch

32.90

In den Warenkorb
Erschienen am 01.10.2012
lieferbar

Soft Real-Time Systems: Predictability vs. Efficiency

Giorgio C. Buttazzo, Giuseppe Lipari, Luca Abeni, Marco Caccamo

0 Sterne
Buch

149.99

In den Warenkorb
lieferbar
Buch

54.99

In den Warenkorb
Erschienen am 07.09.2009
lieferbar
Buch

101.64

Vorbestellen
Erschienen am 13.03.2000
Voraussichtlich lieferbar in 3 Tag(en)
Buch

139.09

Vorbestellen
Erschienen am 20.03.2007
Voraussichtlich lieferbar in 3 Tag(en)
Buch

139.05

Vorbestellen
Erschienen am 29.09.2004
Voraussichtlich lieferbar in 5 Tag(en)
Buch

39.95

Vorbestellen
Erschienen am 23.11.2004
Voraussichtlich lieferbar in 3 Tag(en)
Buch

39.95

Vorbestellen
Erschienen am 24.11.2003
Voraussichtlich lieferbar in 3 Tag(en)

Echtzeitsysteme

Heinz Wörn, Uwe Brinkschulte

0 Sterne
Buch

44.99

In den Warenkorb
Erschienen am 04.04.2005
lieferbar

MicroC/OS-II

Jean J. Labrosse

0 Sterne
Buch

98.50

In den Warenkorb
lieferbar
Buch

149.79

In den Warenkorb
Erschienen am 05.12.2007
lieferbar
Buch

93.08

Vorbestellen
Erschienen am 05.03.1997
Voraussichtlich lieferbar in 3 Tag(en)

Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogenous Platforms

Zhe Ma, Pol Marchal, Daniele Paolo Scarpazza, Peng Yang, Chun Wa Wong, José Ignacio Gómez, Stefaan Himpe, Chantal Ykman-Couvreur, Francky Catthoor

0 Sterne
Buch

112.50

In den Warenkorb
lieferbar
Buch

117.69

Vorbestellen
Erschienen am 21.02.2005
Voraussichtlich lieferbar in 5 Tag(en)
Buch

123.04

Vorbestellen
Erschienen am 11.12.1991
Voraussichtlich lieferbar in 3 Tag(en)
Kommentar zu "Duration Calculus"
Andere Kunden kauften auch
Buch

128.39

Vorbestellen
Erschienen am 21.05.2004
Voraussichtlich lieferbar in 3 Tag(en)

Echtzeitsysteme

Dieter Zöbel

0 Sterne
Buch

34.99

In den Warenkorb
Erschienen am 22.01.2020
lieferbar
Buch

112.34

In den Warenkorb
Erschienen am 28.10.2004
lieferbar

Moderne Realzeitsysteme kompakt

Jürgen Quade, Michael Mächtel

0 Sterne
Buch

32.90

In den Warenkorb
Erschienen am 01.10.2012
lieferbar

Soft Real-Time Systems: Predictability vs. Efficiency

Giorgio C. Buttazzo, Giuseppe Lipari, Luca Abeni, Marco Caccamo

0 Sterne
Buch

149.99

In den Warenkorb
lieferbar
Buch

54.99

In den Warenkorb
Erschienen am 07.09.2009
lieferbar
Buch

101.64

Vorbestellen
Erschienen am 13.03.2000
Voraussichtlich lieferbar in 3 Tag(en)
Buch

139.09

Vorbestellen
Erschienen am 20.03.2007
Voraussichtlich lieferbar in 3 Tag(en)
Buch

139.05

Vorbestellen
Erschienen am 29.09.2004
Voraussichtlich lieferbar in 5 Tag(en)
Buch

39.95

Vorbestellen
Erschienen am 23.11.2004
Voraussichtlich lieferbar in 3 Tag(en)
Buch

39.95

Vorbestellen
Erschienen am 24.11.2003
Voraussichtlich lieferbar in 3 Tag(en)

Echtzeitsysteme

Heinz Wörn, Uwe Brinkschulte

0 Sterne
Buch

44.99

In den Warenkorb
Erschienen am 04.04.2005
lieferbar

MicroC/OS-II

Jean J. Labrosse

0 Sterne
Buch

98.50

In den Warenkorb
lieferbar
Buch

149.79

In den Warenkorb
Erschienen am 05.12.2007
lieferbar
Buch

93.08

Vorbestellen
Erschienen am 05.03.1997
Voraussichtlich lieferbar in 3 Tag(en)

Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogenous Platforms

Zhe Ma, Pol Marchal, Daniele Paolo Scarpazza, Peng Yang, Chun Wa Wong, José Ignacio Gómez, Stefaan Himpe, Chantal Ykman-Couvreur, Francky Catthoor

0 Sterne
Buch

112.50

In den Warenkorb
lieferbar
Buch

123.04

Vorbestellen
Erschienen am 11.12.1991
Voraussichtlich lieferbar in 3 Tag(en)

High Performance Discovery in Time Series

Dennis Shasha, Zhu Yunyue

0 Sterne
Buch

78.00

In den Warenkorb
Erschienen am 03.06.2004
lieferbar
Weitere Empfehlungen zu „Duration Calculus “
0 Gebrauchte Artikel zu „Duration Calculus“
Zustand Preis Porto Zahlung Verkäufer Rating
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich