Formal Approaches to Software Testing: 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers - Programming and Software Engineering 3997 (Paperback)
  • Formal Approaches to Software Testing: 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers - Programming and Software Engineering 3997 (Paperback)
zoom

Formal Approaches to Software Testing: 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers - Programming and Software Engineering 3997 (Paperback)

(editor), (editor)
£58.99
Paperback 219 Pages / Published: 30/05/2006
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket

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.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540344544
Number of pages: 219
Weight: 750 g
Dimensions: 235 x 155 x 12 mm
Edition: 2006 ed.

You may also be interested in...

The Algorithm Design Manual
Added to basket
£55.07
Mixed media product
Coaching Agile Teams
Added to basket
Domain-Driven Design
Added to basket
£55.49
Hardback
Design Patterns
Added to basket
£44.49
Hardback
Agile Testing
Added to basket
£44.49
Paperback
The Agile Samurai
Added to basket
Beyond Software Architecture
Added to basket
Exercises in Programming Style
Added to basket
The Agile Culture
Added to basket
The Mythical Man-Month
Added to basket
User Story Mapping
Added to basket
£27.99
Paperback
Test Driven Development
Added to basket
Continuous Delivery
Added to basket
£44.49
Hardback
Agile Product Management with Scrum
Added to basket
Kanban
Added to basket
£33.55
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.