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

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

In den Warenkorb

Dieses Angebot wurde bereits 57 mal aufgerufen

Ihre zuletzt aufgerufenen Angebote

• Havelund, Klaus a. o. (Edts.): Formal Approaches to Software Testing and Runtime Verification. Firs ...
• : INSECTA [1969] compiled by the Staff of the Zoological Society of London. [Zool. Record, 106, S ...
• Chanaud, Michel: Etapes:international 09.
• Theimer,R.R.+W.Rau Mutants of Fusarium aquaeductuum lacking photoregulation of
• PARADIES AM OBERRHEIN. Landschaft, Kunst, Gastronomie in der Regio zwischen Schwarzwald, Vogesen und ...

Sparen Sie Versandkosten beim Kauf ähnlicher Angebote dieses Anbieters

Pande, Santosh and Dharma P. Agrawal (Edts.):
Compiler optimizations for scalable parallel systems : languages, compilation techniques, and run time systems. (= Lecture notes in computer science ; Vol. 1808).

EUR 11,70
Details zum Buch...

Chen, Shu-Heng:
Computational intelligence in economics and finance, Vol. 2.

EUR 10,20
Details zum Buch...

Gairing, Siegfried und Hermann Wellers:
Automatisierungstechnik mit SPS: Arbeitsbuch

EUR 4,80
Details zum Buch...

Muth, Thomas G.:
Functional Structures in Networks. AMLn - A Language for Model Driven Development of Telecom Systems. [Signals and Communication Technology].

EUR 12,20
Details zum Buch...

FF-Nutzer: Kostenloses Such-Plugin für Antikbuch24 installieren
IE-Nutzer: Kostenloses Such-Plugin für Antikbuch24 installieren