Formal Approaches to Software Testing

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

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

Автор: Wolfgang Grieskamp, Carsten Weise

Език:

Корици: С меки корици

Издател: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Наличност: Външен склад

Изпращаме след 5-8 дни

52.87 € 103.41 лв

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

Информация за книгата

Автор

Wolfgang Grieskamp, Carsten Weise

Език

Английски език

Корици

Книга - С меки корици

Издадена

2006

страници

219

EAN

9783540344544

ISBN

3540344543

Enbook ID

01562128

Издател

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Теглоt

750

Размери

155 x 235 x 13

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Formal Approaches to Software Testing

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

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също