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

4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings (Sprache: Englisch)
 
 
Merken
Teilen
Merken
Teilen
 
 
This book constitutes the refereed proceedings of the Third International Symposium on Automated Technology for Verification and Analysis, ATVA 2006, held in Beijing, China in October 2006.

The 35 revised full papers presented together with abstracts of...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei

Bestellnummer: 24007346

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

Bestellnummer: 24007346

Buch 106.99
Jetzt vorbestellen
This book constitutes the refereed proceedings of the Third International Symposium on Automated Technology for Verification and Analysis, ATVA 2006, held in Beijing, China in October 2006.

The 35 revised full papers presented together with abstracts of...
Andere Kunden interessierten sich auch für
eBook

Statt 106.99 19

96.29

Download bestellen
Erschienen am 11.10.2006
sofort als Download lieferbar
Buch

106.99

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

123.04

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

80.24

In den Warenkorb
Erschienen am 27.09.2006
lieferbar
Buch

139.09

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

101.64

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

96.29

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

Nebenläufige Programme

Ralf G. Herrtwich, Günter Hommel

0 Sterne
Buch

59.99

In den Warenkorb
Erschienen am 07.03.1994
lieferbar
Buch

106.99

In den Warenkorb
Erschienen am 06.09.2007
lieferbar
Buch

139.09

Vorbestellen
Erschienen am 07.09.1994
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

128.39

Vorbestellen
Erschienen am 21.05.2004
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
Buch

74.89

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

56.99

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

74.89

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

57.73

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

54.99

Vorbestellen
Erschienen am 07.09.2009
Voraussichtlich lieferbar in 3 Tag(en)
Kommentar zu "Automated Technology for Verification and Analysis"
Andere Kunden kauften auch
Buch

106.99

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

123.04

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

80.24

In den Warenkorb
Erschienen am 27.09.2006
lieferbar
Buch

139.09

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

101.64

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

96.29

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

Nebenläufige Programme

Ralf G. Herrtwich, Günter Hommel

0 Sterne
Buch

59.99

In den Warenkorb
Erschienen am 07.03.1994
lieferbar
Buch

106.99

In den Warenkorb
Erschienen am 06.09.2007
lieferbar
Buch

139.09

Vorbestellen
Erschienen am 07.09.1994
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

128.39

Vorbestellen
Erschienen am 21.05.2004
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
Buch

74.89

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

56.99

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

74.89

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

57.73

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

54.99

Vorbestellen
Erschienen am 07.09.2009
Voraussichtlich lieferbar in 3 Tag(en)
Weitere Empfehlungen zu „Automated Technology for Verification and Analysis “
0 Gebrauchte Artikel zu „Automated Technology for Verification and Analysis“
Zustand Preis Porto Zahlung Verkäufer Rating
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich