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

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

In den Warenkorb

Dieses Angebot wurde bereits 23 mal aufgerufen

Ihre zuletzt aufgerufenen Angebote

• Havelund, Klaus a. o. (Edts.): Formal Approaches to Software Testing and Runtime Verification. Firs ...
• Beek, W. F. van: Microscopisch- en macroscopisch anatomisch Onderzoek naar de Ontwikkeling van het ...
• Rinser, Luise Das Geheimnis des Brunnens.
• Eggebrecht, Axel Weltliteratur. Ein Überblick.
• Mundstock, Karl Meine tausend Jahre Jugend

Sparen Sie Versandkosten beim Kauf ähnlicher Angebote dieses Anbieters

Schels, Ignatz:
Microsoft Office Excel 2003 : kompakt, komplett, kompetent. [Auf CD-ROM: die Beispiele aus dem Buch, Excel-Vorlagen und Tools]. Magnum.

EUR 13,80
Details zum Buch...

Petkovic, Dusan und Markus Brüderl:
Java in Datenbanksystemen : JDBC, SQLJ, Java-DB-Systeme und -Objekte. Programmer`s Choice.

EUR 6,30
Details zum Buch...

Aart, Chris van:
Organizational principles for multi-agent architectures. Whitestein series in software agent technologies.

EUR 9,00
Details zum Buch...