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

Automated Technology for Verification and Analysis

5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings (Sprache: Englisch)
 
 
Merken
Teilen
Merken
Teilen
 
 
This book constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007. The 29 revised full papers presented together with seven short papers address theoretical methods to achieve...
lieferbar
versandkostenfrei

Bestellnummer: 19187447

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

Bestellnummer: 19187447

Buch 106.99
In den Warenkorb
This book constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007. The 29 revised full papers presented together with seven short papers address theoretical methods to achieve...
Andere Kunden interessierten sich auch für
eBook

Statt 106.99 19

96.29

Download bestellen
Erschienen am 04.11.2007
sofort als Download lieferbar
Buch

114.44

In den Warenkorb
Erschienen am 28.09.2007
lieferbar
Buch

74.89

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

109.99

In den Warenkorb
Erschienen am 22.03.2006
lieferbar
Buch

139.05

In den Warenkorb
Erschienen am 29.11.2007
lieferbar

Echtzeitsysteme

Heinz Wörn, Uwe Brinkschulte

0 Sterne
Buch

44.99

In den Warenkorb
Erschienen am 04.04.2005
lieferbar
Buch

149.79

In den Warenkorb
Erschienen am 05.12.2007
lieferbar

SPS-Programmierung mit IEC 61131-3, m. CD-ROM u. Demo-DVD-ROM

Karl-Heinz John, Michael Tiegelkamp

0 Sterne
Buch

97.99

Vorbestellen
Erschienen am 17.06.2009
Jetzt vorbestellen
Buch

93.08

In den Warenkorb
Erschienen am 06.09.2007
lieferbar
Buch

139.09

In den Warenkorb
Erschienen am 18.06.2007
lieferbar
Buch

74.89

In den Warenkorb
Erschienen am 11.09.2008
lieferbar
Buch

139.09

In den Warenkorb
Erschienen am 28.06.2000
lieferbar
Buch

112.35

In den Warenkorb
Erschienen am 27.09.2017
lieferbar
Buch

106.99

In den Warenkorb
Erschienen am 06.09.2007
lieferbar
Buch

80.24

In den Warenkorb
Erschienen am 27.09.2006
lieferbar

Echtzeitsysteme

Dieter Zöbel

0 Sterne
Buch

34.99

In den Warenkorb
Erschienen am 22.01.2020
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
Kommentar zu "Automated Technology for Verification and Analysis"
Andere Kunden kauften auch
Buch

114.44

In den Warenkorb
Erschienen am 28.09.2007
lieferbar
Buch

74.89

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

109.99

In den Warenkorb
Erschienen am 22.03.2006
lieferbar
Buch

139.05

In den Warenkorb
Erschienen am 29.11.2007
lieferbar

Echtzeitsysteme

Heinz Wörn, Uwe Brinkschulte

0 Sterne
Buch

44.99

In den Warenkorb
Erschienen am 04.04.2005
lieferbar
Buch

149.79

In den Warenkorb
Erschienen am 05.12.2007
lieferbar

SPS-Programmierung mit IEC 61131-3, m. CD-ROM u. Demo-DVD-ROM

Karl-Heinz John, Michael Tiegelkamp

0 Sterne
Buch

97.99

Vorbestellen
Erschienen am 17.06.2009
Jetzt vorbestellen
eBook

Statt 44.99 19

29.66

Download bestellen
Erschienen am 02.05.2006
sofort als Download lieferbar
Buch

93.08

In den Warenkorb
Erschienen am 06.09.2007
lieferbar
Buch

139.09

In den Warenkorb
Erschienen am 18.06.2007
lieferbar
Buch

74.89

In den Warenkorb
Erschienen am 11.09.2008
lieferbar
Buch

139.09

In den Warenkorb
Erschienen am 28.06.2000
lieferbar
Buch

112.35

In den Warenkorb
Erschienen am 27.09.2017
lieferbar
Buch

106.99

In den Warenkorb
Erschienen am 06.09.2007
lieferbar
Buch

80.24

In den Warenkorb
Erschienen am 27.09.2006
lieferbar

Echtzeitsysteme

Dieter Zöbel

0 Sterne
Buch

34.99

In den Warenkorb
Erschienen am 22.01.2020
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
0 Gebrauchte Artikel zu „Automated Technology for Verification and Analysis“
Zustand Preis Porto Zahlung Verkäufer Rating
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • In Ihre Filiale lieferbar
  • Ratenzahlung möglich