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

Ruffing, Markus:
CELEX : Profil einer Datenbank. (=Computer im Recht ; Bd. 2).

EUR 5,00
Details zum Buch...

Gerschau, Lars (Hg):
Strukturierte Verkabelung. Komponenten, Übersichten, Standards.

EUR 11,70
Details zum Buch...

Schukat-Talamazzini, Ernst Günter (Verfasser):
Generierung von Worthypothesen in kontinuierlicher Sprache. (=Informatik-Fachberichte ; 141).

EUR 11,00
Details zum Buch...