Formal Approaches to Software Testing

Name: Formal Approaches to Software Testing
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540344544
Price: 276.36 RON
Availability: InStock

5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers

Autor: Wolfgang Grieskamp, Carsten Weise

Limbă:

Legare: Carte broșată

Editura: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

276.36 lei

This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on...

Informații despre carte

Autor

Wolfgang Grieskamp, Carsten Weise

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2006

Pagini

219

EAN

9783540344544

ISBN

3540344543

Enbook ID

01562128

Editura

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Greutate

750

Dimensiuni

155 x 235 x 13

Descriere completă

This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to Software Testing, FATES 2005, held in Edinburgh, UK, in July 2005 in conjunction with CAV 2005. The book presents 13 revised full papers together with 1 work-in-progress paper. These address formal approaches to testing and use techniques from areas like theorem proving, model checking, constraint resolution, program analysis, abstract interpretation, Markov chains, and various others.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Formal Approaches to Software Testing

5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și