Zur Startseite wechseln
CHF 0.00
Kategorien
Englisch und andere Fremdsprachen
Englisch
Produktbild
Klaus (Hrsg.) Havelund

Formal Approaches to Software Testing and Runtime Verification

First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

Buch

CHF 100.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen

Produktdetails

Weitere Autoren: Núnez, Manuel (Hrsg.) / Rosu, Grigore (Hrsg.) / Wolff, Burkhart (Hrsg.)
  • ISBN: 978-3-540-49699-1
  • EAN: 9783540496991
  • Produktnummer: 2618436
  • Verlag: Springer Berlin Heidelberg
  • Sprache: Englisch
  • Erscheinungsjahr: 2006
  • Seitenangabe: 272 S.
  • Masse: H23.5 cm x B15.5 cm x D1.4 cm 417 g
  • Auflage: 2006
  • Abbildungen: Paperback
  • Gewicht: 417

15 weitere Werke von Klaus (Hrsg.) Havelund:

Produktbild
NASA Formal Methods
First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
Buch
CHF 92.00
Produktbild
NASA Formal Methods
First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
Ebook (PDF Format)
CHF 75.50
Produktbild
Formal Methods
First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
Ebook (PDF Format)
CHF 106.50
Produktbild
SPIN Model Checking and Software Verification
First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
Buch
CHF 115.00
Produktbild
NASA Formal Methods
First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
Buch
CHF 145.00
Produktbild
Model Checking Software
First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
Buch
CHF 108.00
Produktbild
Tools and Algorithms for the Construction and Analysis of Systems
First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
Ebook (PDF Format)
CHF 94.50
Produktbild
Formal Methods
First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
Buch
CHF 130.00
Produktbild
NASA Formal Methods
First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
Buch
CHF 130.00
Produktbild
Tools and Algorithms for the Construction and Analysis of Systems
First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
Buch
CHF 115.00
Produktbild
Model Checking Software
First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
Ebook (PDF Format)
CHF 100.00
Produktbild
Runtime Verification
First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
Ebook (PDF Format)
CHF 106.50
Produktbild
Formal Approaches to Software Testing and Runtime Verification
First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
Ebook (PDF Format)
CHF 93.50
Produktbild
NASA Formal Methods
First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
Ebook (PDF Format)
CHF 120.00
Produktbild
SPIN Model Checking and Software Verification
First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
Ebook (PDF Format)
CHF 106.50

Bewertungen

0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...