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 for Industrial Critical Systems

12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers (Sprache: Englisch)
 
 
Merken
Teilen
Merken
Teilen
 
 
This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2007, held in Berlin, Germany, in July 2007 - colocated with CAV 2007, the 19th International...
lieferbar
versandkostenfrei

Bestellnummer: 19209758

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

Bestellnummer: 19209758

Buch 74.89
In den Warenkorb
This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2007, held in Berlin, Germany, in July 2007 - colocated with CAV 2007, the 19th International...
Andere Kunden interessierten sich auch für
eBook

74.89

Download bestellen
Erschienen am 08.05.2008
sofort als Download lieferbar
Buch

80.24

In den Warenkorb
Erschienen am 27.09.2006
lieferbar
Buch

139.05

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

123.04

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

106.99

In den Warenkorb
Erschienen am 06.09.2007
lieferbar

Echtzeitsysteme

Dieter Zöbel

0 Sterne
Buch

34.99

In den Warenkorb
Erschienen am 22.01.2020
lieferbar
Buch

106.99

In den Warenkorb
Erschienen am 09.10.2007
lieferbar
Buch

74.89

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

112.34

In den Warenkorb
Erschienen am 28.10.2004
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

Moderne Realzeitsysteme kompakt

Jürgen Quade, Michael Mächtel

0 Sterne
Buch

32.90

In den Warenkorb
Erschienen am 01.10.2012
lieferbar

Nebenläufige Programme

Ralf G. Herrtwich, Günter Hommel

0 Sterne
Buch

59.99

In den Warenkorb
Erschienen am 07.03.1994
lieferbar
Buch

56.99

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

96.29

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

128.39

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

74.89

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

54.99

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

93.08

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

57.73

Vorbestellen
Erschienen am 01.09.2004
Voraussichtlich lieferbar in 3 Tag(en)
Kommentar zu "Formal Methods for Industrial Critical Systems"
Andere Kunden kauften auch
Buch

80.24

In den Warenkorb
Erschienen am 27.09.2006
lieferbar
Buch

139.05

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

123.04

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

106.99

In den Warenkorb
Erschienen am 06.09.2007
lieferbar

Echtzeitsysteme

Dieter Zöbel

0 Sterne
Buch

34.99

In den Warenkorb
Erschienen am 22.01.2020
lieferbar
Buch

106.99

In den Warenkorb
Erschienen am 09.10.2007
lieferbar
Buch

74.89

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

112.34

In den Warenkorb
Erschienen am 28.10.2004
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

Moderne Realzeitsysteme kompakt

Jürgen Quade, Michael Mächtel

0 Sterne
Buch

32.90

In den Warenkorb
Erschienen am 01.10.2012
lieferbar

Nebenläufige Programme

Ralf G. Herrtwich, Günter Hommel

0 Sterne
Buch

59.99

In den Warenkorb
Erschienen am 07.03.1994
lieferbar
Buch

56.99

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

96.29

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

128.39

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

74.89

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

54.99

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

93.08

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

57.73

Vorbestellen
Erschienen am 01.09.2004
Voraussichtlich lieferbar in 3 Tag(en)
Weitere Empfehlungen zu „Formal Methods for Industrial Critical Systems “
Weitere Artikel zum Thema
0 Gebrauchte Artikel zu „Formal Methods for Industrial Critical Systems“
Zustand Preis Porto Zahlung Verkäufer Rating
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • In Ihre Filiale lieferbar
  • Ratenzahlung möglich