Havelund, Klaus a. o. (Edts.): 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. (= Lecture notes in computer sci

Die Antiquariatsbuchplattform von

Sie haben keine Artikel im Warenkorb.

Artikelbeschreibung

Havelund, Klaus a. o. (Edts.):
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. (= Lecture notes in computer science ; Vol. 4262).
Berlin, Springer, 2006.
ISBN/EAN: 9783540496991

gefunden im Sachgebiet: Informatik, Hardware, Software

VIII, 253 S.; Ill. Paperback

Very good. Shrink wrapped.

[SW: Softwaretest ; Model Checking ; Verifikation]
Softwaretest, Model, Checking, Verifikation

EUR15,00
inkl. MwSt. zzgl. Versand: EUR 0,00
Lieferzeit: 1 - 7 Werktage

In den Warenkorb

Dieses Angebot wurde bereits 42 mal aufgerufen

Ihre zuletzt aufgerufenen Angebote

• Havelund, Klaus a. o. (Edts.): Formal Approaches to Software Testing and Runtime Verification. Firs ...

Sparen Sie Versandkosten beim Kauf ähnlicher Angebote dieses Anbieters

Hübel, Christoph und Bernd Sutter:
Datenbank-Integration von Ingenieuranwendungen : Modelle, Werkzeuge, Kontrolle. Datenbanksysteme.

EUR 12,10
Details zum Buch...

Desel, Jörg and Javier Esparza:
Free Choice Petri Nets (Cambridge Tracts in Theoretical Computer Science, Vol. 40).

EUR 12,80
Details zum Buch...

Heimann, Frank, Guido Krüger und Nino Turianskyj:
Einführung in Visual C++ 4.x : Windows-Programmierung mit den Microsoft Foundation Classes.

EUR 5,80
Details zum Buch...