search for books and compare prices
Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software : Fates 2003 : Montreal, Quebec, Canada, October 6th, 2003 : Revised Papers
By Alexandre Petrenko; Andreas Ulrich; IEEE International Automated Software Engineering Conference
Descriptions of each edition are found in brief where available. Click details & prices to get more information on a book or to find the best prices for the title.
Sort options: binding | publication date | edition
Paperback
Book cover for 9783540208945
 
from Springer-Verlag New York Inc (March 19, 2004)
9783540208945 | details & prices | 6.25 × 9.25 × 0.75 in. | 0.95 lbs | List price $99.00
About: Formal methods provide system designers with the possibility to analyze system models and reason about them with mathematical precision and rigor.