Wir verwenden Cookies, die für die ordnungsgemäße Bereitstellung unseres Webseitenangebots zwingend erforderlich sind. Mit Klick auf "Einverstanden" setzen wir zusätzlich Cookies und Dienste von Drittanbietern ein, um unser Angebot durch Analyse des Nutzungsverhaltens zu optimieren, um Nutzungsprofile zu erstellen, interessenbezogene Werbung anzuzeigen, sowie die Webseiten-Performance zu verbessern. Ihre Einwilligung können Sie jederzeit durch erneuten Aufruf dieses Cookie-Banners am Ende der Webseite widerrufen. Weitere Informationen und Einzelheiten finden Sie in der Datenschutzerklärung.
Einverstanden
Nur funktionale Cookies

Modeling and Verification of Parallel Processes

4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000 Revised Tutorial Lectures (Sprache: Englisch)
 
 
Merken
Teilen
Merken
Teilen
 
 
Daily life relies more and more on safety critical systems, e.g. in areas such as power plant control, traffic management, flight control, and many more. MOVEP is a school devoted to the broad subject of modeling and verifying software and hardware...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei

Bestellnummer: 2550831

Buch 45.96
Jetzt vorbestellen
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei

Bestellnummer: 2550831

Buch 45.96
Jetzt vorbestellen
Daily life relies more and more on safety critical systems, e.g. in areas such as power plant control, traffic management, flight control, and many more. MOVEP is a school devoted to the broad subject of modeling and verifying software and hardware...
Andere Kunden interessierten sich auch für
eBook

Statt 45.96 19

39.13

Erschienen am 29.06.2003
Leider schon ausverkauft

Parallel Image Processing

Thomas Bräunl

0 Sterne
Buch

74.99

In den Warenkorb
Erschienen am 04.12.2000
lieferbar
Buch

85.59

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

80.24

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

96.29

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

106.99

In den Warenkorb
Erschienen am 10.08.2006
lieferbar
Buch

74.89

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

123.04

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

OpenACC for Programmers

Sunita Chandrasekaran, Guido Juckeland

0 Sterne
Buch

44.93

In den Warenkorb
Erschienen am 28.09.2017
lieferbar

Visualization of Scientific Parallel Programs

Gerald Tomas, Christoph W. Überhuber

0 Sterne
Buch

74.89

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

93.04

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

80.24

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

139.09

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

74.89

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

64.19

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

139.09

In den Warenkorb
Erschienen am 14.08.1996
lieferbar
Buch

123.04

In den Warenkorb
Erschienen am 14.08.1996
lieferbar
Buch

79.18

In den Warenkorb
Erschienen am 10.01.2018
lieferbar
Buch

79.17

In den Warenkorb
Erschienen am 17.01.2019
lieferbar
Kommentar zu "Modeling and Verification of Parallel Processes"
Andere Kunden kauften auch

Parallel Image Processing

Thomas Bräunl

0 Sterne
Buch

74.99

In den Warenkorb
Erschienen am 04.12.2000
lieferbar
Buch

85.59

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

80.24

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

96.29

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

106.99

In den Warenkorb
Erschienen am 10.08.2006
lieferbar
Buch

74.89

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

123.04

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

OpenACC for Programmers

Sunita Chandrasekaran, Guido Juckeland

0 Sterne
Buch

44.93

In den Warenkorb
Erschienen am 28.09.2017
lieferbar

Visualization of Scientific Parallel Programs

Gerald Tomas, Christoph W. Überhuber

0 Sterne
Buch

74.89

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

93.04

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

80.24

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

139.09

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

74.89

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

64.19

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

139.09

In den Warenkorb
Erschienen am 14.08.1996
lieferbar
Buch

123.04

In den Warenkorb
Erschienen am 14.08.1996
lieferbar
Buch

79.18

In den Warenkorb
Erschienen am 10.01.2018
lieferbar
Buch

79.17

In den Warenkorb
Erschienen am 17.01.2019
lieferbar
Weitere Empfehlungen zu „Modeling and Verification of Parallel Processes “
0 Gebrauchte Artikel zu „Modeling and Verification of Parallel Processes“
Zustand Preis Porto Zahlung Verkäufer Rating
  • Kauf auf Rechnung
  • Kostenlose Rücksendung