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

Formal Methods and Hybrid Real-Time Systems

Essays in Honour of Dines Bjorner and Chaochen Zhou on the Occasion of Their 70th Birthdays (Sprache: Englisch)
 
 
Merken
Teilen
Merken
Teilen
 
 
This Festschrift volume is published to honour both Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays. The volume includes 25 refereed papers by leading researchers, current and former colleagues, who congregated at a celebratory...
lieferbar
versandkostenfrei

Bestellnummer: 12732764

Buch 106.99
In den Warenkorb
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • In Ihre Filiale lieferbar
  • Ratenzahlung möglich
lieferbar
versandkostenfrei

Bestellnummer: 12732764

Buch 106.99
In den Warenkorb
This Festschrift volume is published to honour both Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays. The volume includes 25 refereed papers by leading researchers, current and former colleagues, who congregated at a celebratory...
Andere Kunden interessierten sich auch für
eBook

Statt 106.99 19

96.29

Download bestellen
Erschienen am 04.09.2007
sofort als Download 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

Echtzeitsysteme

Dieter Zöbel

0 Sterne
Buch

34.99

In den Warenkorb
Erschienen am 22.01.2020
lieferbar
Buch

80.24

In den Warenkorb
Erschienen am 27.09.2006
lieferbar
Buch

74.89

In den Warenkorb
Erschienen am 20.07.2009
lieferbar

Compiling ESTEREL

D. Potop-Butucaru, S. A. Edwards, G. Berry

0 Sterne
Buch

124.50

In den Warenkorb
lieferbar
Buch

82.00

In den Warenkorb
Erschienen am 23.08.2005
lieferbar
Buch

106.99

In den Warenkorb
Erschienen am 09.10.2007
lieferbar
Buch

139.09

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

96.29

Vorbestellen
Erschienen am 21.08.1996
Voraussichtlich lieferbar in 3 Tag(en)
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

Moderne Realzeitsysteme kompakt

Jürgen Quade, Michael Mächtel

0 Sterne
Buch

32.90

In den Warenkorb
Erschienen am 01.10.2012
lieferbar
Buch

114.44

In den Warenkorb
Erschienen am 28.09.2007
lieferbar
Buch

93.08

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

54.99

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

74.89

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

112.34

In den Warenkorb
Erschienen am 28.10.2004
lieferbar

Formal Development of a Network-Centric RTOS

Eric Verhulst, Raymond T. Boute, José Miguel Sampaio Faria, Bernhard H. C. Sputh, Vitaliy Mezhuyev

0 Sterne
Buch

128.39

In den Warenkorb
lieferbar
Kommentar zu "Formal Methods and Hybrid Real-Time Systems"
Andere Kunden kauften auch

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

Echtzeitsysteme

Dieter Zöbel

0 Sterne
Buch

34.99

In den Warenkorb
Erschienen am 22.01.2020
lieferbar
Buch

80.24

In den Warenkorb
Erschienen am 27.09.2006
lieferbar
Buch

74.89

In den Warenkorb
Erschienen am 20.07.2009
lieferbar

eXamen.press: Echtzeitsysteme

Heinz Wörn

0 Sterne
eBook

Statt 44.99 19

29.66

Download bestellen
Erschienen am 02.05.2006
sofort als Download lieferbar

Compiling ESTEREL

D. Potop-Butucaru, S. A. Edwards, G. Berry

0 Sterne
Buch

124.50

In den Warenkorb
lieferbar
Buch

82.00

In den Warenkorb
Erschienen am 23.08.2005
lieferbar
Buch

106.99

In den Warenkorb
Erschienen am 09.10.2007
lieferbar
Buch

139.09

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

96.29

Vorbestellen
Erschienen am 21.08.1996
Voraussichtlich lieferbar in 3 Tag(en)
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

Moderne Realzeitsysteme kompakt

Jürgen Quade, Michael Mächtel

0 Sterne
Buch

32.90

In den Warenkorb
Erschienen am 01.10.2012
lieferbar
Buch

114.44

In den Warenkorb
Erschienen am 28.09.2007
lieferbar
Buch

93.08

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

54.99

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

74.89

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

112.34

In den Warenkorb
Erschienen am 28.10.2004
lieferbar
Weitere Empfehlungen zu „Formal Methods and Hybrid Real-Time Systems “
0 Gebrauchte Artikel zu „Formal Methods and Hybrid Real-Time Systems“
Zustand Preis Porto Zahlung Verkäufer Rating
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • In Ihre Filiale lieferbar
  • Ratenzahlung möglich