Hero image 0 of Formal Approaches to Software Testing: 5th International Workshop, Fates 2005, Edinburgh, Uk, July 11, 2005, Revised Sel, (Paperback), 0 of 1
Formal Approaches to Software Testing: 5th International Workshop, Fates 2005, Edinburgh, Uk, July 11, 2005, Revised Sel, (Paperback)
(No ratings yet)
Key item features
- Formal Approaches to Software Testing: 5th International Workshop, Fates 2005, Edinburgh, Uk, July 11, 2005, Revised Sel, (Paperback)
- Author: Springer
- ISBN: 9783540344544
- Format: Paperback
- Publication Date: 2006-05-30
- Page Count: 219
Specs
- Book formatPaperback
- Fiction/nonfictionNon-Fiction
- GenreComputing & Internet
- Publication dateMay, 2006
- Pages219
- SubgenreLogic Design
Current price is USD$56.14
Price when purchased online
- Free shipping
Free 30-day returns
How do you want your item?
Ships to
Arrives between May 23 - May 26
|
Sold and shipped by Alibris Books
4.568843151171043 stars out of 5, based on 11272 seller reviews(4.6)11272 seller reviews
Free 30-day returns
Other sellers
$60.29
+ $7.98 shippingShipping, arrives by Fri, May 22 to Columbus, 43215
Sold and shipped by Best Prices & Service
Free 30-day returns
About this item
Product details
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.
- Formal Approaches to Software Testing: 5th International Workshop, Fates 2005, Edinburgh, Uk, July 11, 2005, Revised Sel, (Paperback)
- Author: Springer
- ISBN: 9783540344544
- Format: Paperback
- Publication Date: 2006-05-30
- Page Count: 219
info:
We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here, and we have not verified it. Â
Specifications
Book format
Paperback
Fiction/nonfiction
Non-Fiction
Genre
Computing & Internet
Publication date
May, 2006
Warranty
Warranty information
Please be aware that the warranty terms on items offered for sale by third party Marketplace sellers may differ from those displayed in this section (if any). To confirm warranty terms on an item offered for sale by a third party Marketplace seller, please use the 'Contact seller' feature on the third party Marketplace seller's information page and request the item's warranty terms prior to purchase.
Similar items you might like
Based on what customers bought
Lecture Notes in Computer Science Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software, Fates 2, Book 2931, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software, Fates 2, Book 2931, (Paperback)
Reachability Problems: 8th International Workshop, Rp 2014, Oxford, Uk, September 22-24, 2014, Proceedings, (Paperback) $54.99
$5499current price $54.99Reachability Problems: 8th International Workshop, Rp 2014, Oxford, Uk, September 22-24, 2014, Proceedings, (Paperback)
Lecture Notes in Computer Science Interactive Systems: Design, Specification, and Verification: 8th International Workshop, Dsv-Is 2001. Glasgow, Scotland, Book 2220, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Interactive Systems: Design, Specification, and Verification: 8th International Workshop, Dsv-Is 2001. Glasgow, Scotland, Book 2220, (Paperback)
Defence Applications of Multi-Agent Systems: International Workshop, Damas 2005, Utrecht, the Netherlands, July 25, 2005, (Paperback) $56.14
$5614current price $56.14Defence Applications of Multi-Agent Systems: International Workshop, Damas 2005, Utrecht, the Netherlands, July 25, 2005, (Paperback)
Constructive Side-Channel Analysis and Secure Design: 7th International Workshop, Cosade 2016, Graz, Austria, April 14-1, (Paperback) $62.55
$6255current price $62.55Constructive Side-Channel Analysis and Secure Design: 7th International Workshop, Cosade 2016, Graz, Austria, April 14-1, (Paperback)
Coalgebraic Methods in Computer Science: 14th Ifip Wg 1.3 International Workshop, Cmcs 2018, Colocated with Etaps 2018, , (Paperback) $54.99
$5499current price $54.99Coalgebraic Methods in Computer Science: 14th Ifip Wg 1.3 International Workshop, Cmcs 2018, Colocated with Etaps 2018, , (Paperback)
Advances in Learning Classifier Systems: 4th International Workshop, Iwlcs 2001, San Francisco, Ca, Usa, July 7-8, 2001., (Paperback) $56.14
$5614current price $56.14Advances in Learning Classifier Systems: 4th International Workshop, Iwlcs 2001, San Francisco, Ca, Usa, July 7-8, 2001., (Paperback)
Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2, (Paperback) $60.29
$6029current price $60.29Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2, (Paperback)
Workshops in Computing 7th UK Computer and Telecommunications Performance Engineering Workshop: Edinburgh, 22-23 July 1991, (Paperback) $54.99
$5499current price $54.99Workshops in Computing 7th UK Computer and Telecommunications Performance Engineering Workshop: Edinburgh, 22-23 July 1991, (Paperback)
Numerical Software Verification: 9th International Workshop, Nsv 2016, Toronto, On, Canada, July 17-18, 2016, Revised Se, (Paperback) $63.29
$6329current price $63.29Numerical Software Verification: 9th International Workshop, Nsv 2016, Toronto, On, Canada, July 17-18, 2016, Revised Se, (Paperback)
Numerical Software Verification: 10th International Workshop, Nsv 2017, Heidelberg, Germany, July 22-23, 2017, Proceedin, (Paperback) $54.99
$5499current price $54.99Numerical Software Verification: 10th International Workshop, Nsv 2017, Heidelberg, Germany, July 22-23, 2017, Proceedin, (Paperback)
Engineering Secure Software and Systems: 8th International Symposium, Essos 2016, London, Uk, April 6-8, 2016. Proceedin, (Paperback) $63.50
$6350current price $63.50Engineering Secure Software and Systems: 8th International Symposium, Essos 2016, London, Uk, April 6-8, 2016. Proceedin, (Paperback)
Trends in Functional Programming: 13th International Symposium, Tfp 2012, St Andrews, Uk, June 12-14, 2012, Revised Sele, (Paperback) $56.14
$5614current price $56.14Trends in Functional Programming: 13th International Symposium, Tfp 2012, St Andrews, Uk, June 12-14, 2012, Revised Sele, (Paperback)
Agents and Peer-To-Peer Computing: Third International Workshop, Ap2pc 2004, New York, Ny, Usa, July 19, 2004, Revised a, (Paperback) $54.99
$5499current price $54.99Agents and Peer-To-Peer Computing: Third International Workshop, Ap2pc 2004, New York, Ny, Usa, July 19, 2004, Revised a, (Paperback)
Recent Trends in Algebraic Development Techniques: 24th Ifip Wg 1.3 International Workshop, Wadt 2018, Egham, Uk, July 2, (Paperback) $54.99
$5499current price $54.99Recent Trends in Algebraic Development Techniques: 24th Ifip Wg 1.3 International Workshop, Wadt 2018, Egham, Uk, July 2, (Paperback)
Lecture Notes in Computer Science Multiple Classifier Systems: 4th International Workshop, MCS 2003, Guilford, Uk, June 11-13, 2003, Proceedings, Book 2709, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Multiple Classifier Systems: 4th International Workshop, MCS 2003, Guilford, Uk, June 11-13, 2003, Proceedings, Book 2709, (Paperback)
Software Engineering and Formal Methods: 14th International Conference, Sefm 2016, Held as Part of Staf 2016, Vienna, Au, (Paperback) $62.74
$6274current price $62.74Software Engineering and Formal Methods: 14th International Conference, Sefm 2016, Held as Part of Staf 2016, Vienna, Au, (Paperback)
Agent-Oriented Information Systems II: 6th International Bi-Conference Workshop, Aois 2004, Riga, Latvia, June 8, 2004 a, (Paperback) $56.14
$5614current price $56.14Agent-Oriented Information Systems II: 6th International Bi-Conference Workshop, Aois 2004, Riga, Latvia, June 8, 2004 a, (Paperback)
Job Scheduling Strategies for Parallel Processing: 11th International Workshop, Jsspp 2005, Cambridge, Ma, Usa, June 19,, (Paperback) $56.14
$5614current price $56.14Job Scheduling Strategies for Parallel Processing: 11th International Workshop, Jsspp 2005, Cambridge, Ma, Usa, June 19,, (Paperback)
Declarative Agent Languages and Technologies: First International Workshop, Dalt 2003, Melbourne, Australia, July 15, 20, (Paperback) $56.14
$5614current price $56.14Declarative Agent Languages and Technologies: First International Workshop, Dalt 2003, Melbourne, Australia, July 15, 20, (Paperback)
Customer ratings & reviews
0 ratings|0 reviews
This item does not have any reviews yet
