Formal Approaches to Software Testing

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

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

Autor: Wolfgang Grieskamp, Carsten Weise

Język:

Oprawa: Miękka

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

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

212.42 zł

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

Informacje o książce

Autor

Wolfgang Grieskamp, Carsten Weise

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2006

strony

219

EAN

9783540344544

ISBN

3540344543

Enbook ID

01562128

Wydawca

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Waga

750

Wymiary

155 x 235 x 13

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Formal Approaches to Software Testing

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

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również