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 - Klaus Havelund - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540496991 - 2006. gada 7. decembris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Klaus Havelund
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 2006 edition

Cena
€ 53,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 29. okt. - . gada 6. nov.
Saņemiet paziņojumus par jauniem Klaus Havelund izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

This book constitutes the thoroughly refereed post-proceedings of the First Combined International Workshops on Formal Approaches to Software Testing, FATES 2006, and on Runtime Verification, RV 2006, held within the scope of FLoC 2006, the Federated Logic Conference in Seattle, WA, USA in August 2006.

272 pages, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2006. gada 7. decembris
ISBN13 9783540496991
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 255
Izmēri 155 × 235 × 14 mm   ·   385 g
Valoda Vācu  
Redaktors Havelund, Klaus
Redaktors Nunez, Manuel
Redaktors Rosu, Grigore
Redaktors Wolff, Burkhart

Vairāk no Klaus Havelund

Rādīt visu

Vairāk no tā paša izdevēja

Skatīt visus Klaus Havelund