Formal Approaches to Software Testing

číslo produktu:116008

rezervuj

Formal Approaches to Software Testing

Petrenko

Rok vydania: 2004

Vydavateľ: Springer

Kniha je momentálne nedostupná.

V prípade dlhodobého záujmu si urobte REZERVÁCIU a my vám odložíme žiadaný kus.

O knihe:

This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, held in Montreal, Quebec, Canada, on October 6th, 2003. The 18 revised full papers presented were carefully selected from 43 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on program testing and analysis, test theory and test derivation algorithms, and test methods and test tools.

Zaradenie do kategórii:

Podrobnosti o titule (výrobné údaje):

Vydavateľstvo: Springer

Rok vydania: 2004

ISBN: 978-3-540-20894-5

(9783540208945)

Väzba: mäkká