Your Waterstones card is changing, introducing...
TELL ME MORE
Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006,     Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers - Programming and Software Engineering 4262 (Paperback)
  • Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006,     Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers - Programming and Software Engineering 4262 (Paperback)
zoom

Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers - Programming and Software Engineering 4262 (Paperback)

(editor), (editor), (editor), (editor)
£62.99
Paperback 255 Pages / Published: 07/12/2006
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket

This book constitutes the thoroughly refereed post-proceedings of the First Combined International Workshops on Formal Approaches to Software Testing, FATES 2006, and on Runtime Verification, RV 2006, held within the scope of FLoC 2006, the Federated Logic Conference in Seattle, WA, USA in August 2006. Coverage discusses formal approaches to test and analyze programs and monitor and guide their executions by using various techniques.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540496991
Number of pages: 255
Weight: 421 g
Dimensions: 235 x 155 x 14 mm
Edition: 2006 ed.

You may also be interested in...

Continuous Delivery
Added to basket
£43.99
Hardback
Refactoring
Added to basket
£47.99
Hardback
Art of Agile Development
Added to basket
Writing Effective Use Cases
Added to basket
Agile Product Management with Scrum
Added to basket
Clean Code
Added to basket
£36.99
Paperback
Domain-Driven Design
Added to basket
£55.99
Hardback
Coaching Agile Teams
Added to basket
Kanban
Added to basket
£33.55
Paperback
Designing Data-Intensive Applications
Added to basket
Test Driven Development
Added to basket
The Art of Unit Testing
Added to basket
Peopleware
Added to basket
£32.99
Paperback
The Agile Samurai
Added to basket
Pro Git
Added to basket
£35.50
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.