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

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...
Jetzt vorbestellen
versandkostenfrei

Bestellnummer: 19187447

Buch 106.99
Jetzt vorbestellen
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich
Jetzt vorbestellen
versandkostenfrei

Bestellnummer: 19187447

Buch 106.99
Jetzt vorbestellen
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

106.99

Vorbestellen
Erschienen am 10.10.2006
Jetzt vorbestellen

Echtzeitsysteme

Dieter Zöbel

0 Sterne
Buch

34.99

In den Warenkorb
Erschienen am 22.01.2020
lieferbar
Buch

54.99

Vorbestellen
Erschienen am 07.09.2009
Jetzt vorbestellen
Buch

80.24

In den Warenkorb
Erschienen am 27.09.2006
lieferbar
Buch

74.89

Vorbestellen
Erschienen am 14.09.1988
Jetzt vorbestellen
Buch

123.04

Vorbestellen
Erschienen am 11.12.1991
Jetzt vorbestellen
Buch

96.29

Vorbestellen
Erschienen am 21.08.1996
Jetzt vorbestellen
Buch

139.09

Vorbestellen
Erschienen am 07.09.1994
Jetzt vorbestellen
Buch

56.99

Vorbestellen
Erschienen am 25.11.2005
Jetzt vorbestellen

Duration Calculus

Chaochen Zhou, Michael R. Hansen

0 Sterne
Buch

149.79

Vorbestellen
Erschienen am 04.12.2003
Jetzt vorbestellen
Buch

101.64

Vorbestellen
Erschienen am 13.03.2000
Jetzt vorbestellen

Nebenläufige Programme

Ralf G. Herrtwich, Günter Hommel

0 Sterne
Buch

59.99

In den Warenkorb
Erschienen am 07.03.1994
lieferbar
Buch

39.95

Vorbestellen
Erschienen am 23.11.2004
Jetzt vorbestellen
Buch

112.34

In den Warenkorb
Erschienen am 28.10.2004
lieferbar
Buch

57.73

Vorbestellen
Erschienen am 01.09.2004
Jetzt vorbestellen
Buch

139.09

Vorbestellen
Erschienen am 20.03.2007
Jetzt vorbestellen
Buch

139.05

Vorbestellen
Erschienen am 29.09.2004
Jetzt vorbestellen

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
Kommentar zu "Automated Technology for Verification and Analysis"
Andere Kunden kauften auch
Buch

106.99

Vorbestellen
Erschienen am 10.10.2006
Jetzt vorbestellen

Echtzeitsysteme

Dieter Zöbel

0 Sterne
Buch

34.99

In den Warenkorb
Erschienen am 22.01.2020
lieferbar
Buch

54.99

Vorbestellen
Erschienen am 07.09.2009
Jetzt vorbestellen
Buch

80.24

In den Warenkorb
Erschienen am 27.09.2006
lieferbar
Buch

74.89

Vorbestellen
Erschienen am 14.09.1988
Jetzt vorbestellen
Buch

123.04

Vorbestellen
Erschienen am 11.12.1991
Jetzt vorbestellen
Buch

96.29

Vorbestellen
Erschienen am 21.08.1996
Jetzt vorbestellen
Buch

139.09

Vorbestellen
Erschienen am 07.09.1994
Jetzt vorbestellen
Buch

56.99

Vorbestellen
Erschienen am 25.11.2005
Jetzt vorbestellen

Duration Calculus

Chaochen Zhou, Michael R. Hansen

0 Sterne
Buch

149.79

Vorbestellen
Erschienen am 04.12.2003
Jetzt vorbestellen
Buch

101.64

Vorbestellen
Erschienen am 13.03.2000
Jetzt vorbestellen

Nebenläufige Programme

Ralf G. Herrtwich, Günter Hommel

0 Sterne
Buch

59.99

In den Warenkorb
Erschienen am 07.03.1994
lieferbar
Buch

39.95

Vorbestellen
Erschienen am 23.11.2004
Jetzt vorbestellen
Buch

112.34

In den Warenkorb
Erschienen am 28.10.2004
lieferbar
Buch

57.73

Vorbestellen
Erschienen am 01.09.2004
Jetzt vorbestellen
Buch

139.09

Vorbestellen
Erschienen am 20.03.2007
Jetzt vorbestellen
Buch

139.05

Vorbestellen
Erschienen am 29.09.2004
Jetzt vorbestellen

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
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