• Bildungs- und Geschäftslösungen Wird in einem neuen Fenster geöffnet
Titelbild: Formal Approaches to Software Testing and Runtime Verification 1st edition 9783540496991

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

1st Auflage

  • Autor(en) Klaus Havelund; ‎Manuel Núnez; ‎Grigore Rosu
  • Verleger Veröffentlicht von Springer Copyright © 2006
  • ISBN-13 9783540496991
  • Format Festes Layout

eBook

eTextbook-Lizenz
‌
€53.49 EUR
‌
‌

  • Studienhilfen

    Integrierte Lernwerkzeuge wie Hervorhebungen und vieles mehr

  • Vorlesen

    Hören Sie zu und lesen Sie mit, während Bookshelf Ihnen vorliest

  • Offline-Zugriff

    Greifen Sie jederzeit und überall auf Ihr eTextbook zu

  • Globale Suche

    Durchsuche Buchinhalte, Abbildungen und dein Arbeitsbuch.

Erfahren Sie mehr

VitalSource Über 25 Jahre digitale Transformation

  • 4500 Einrichtungen

  • Über 230 Länder und Regionen

  • Über 10.000 Verlage

  • Über 18 Mio. Aktive Benutzer

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 1st Auflage verfasst von Klaus Havelund; ‎Manuel Núnez; ‎Grigore Rosu und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Formal Approaches to Software Testing and Runtime Verification lauten 9783540497035, 354049703X und die Druck-ISBNs lauten 9783540496991, 3540496998. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.

Zurück nach oben