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
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
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.
Read More
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.
Read Less
Add this copy of Formal Approaches to Software Testing and Runtime to cart. $41.53, very good condition, Sold by GuthrieBooks rated 4.0 out of 5 stars, ships from Spring Branch, TX, UNITED STATES, published 2006 by Springer.
Add this copy of Formal Approaches to Software Testing and Runtime to cart. $43.81, new condition, Sold by discount_scientific_books rated 5.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES, published 2006 by Springer.
Add this copy of Formal Approaches to Software Testing and Runtime to cart. $51.65, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2006 by Springer.
Add this copy of Formal Approaches to Software Testing and Runtime to cart. $58.86, new condition, Sold by booksXpress, ships from Bayonne, NJ, UNITED STATES, published 2006 by Springer.
