Hero image 0 of Tests and Proofs: 8th International Conference, Tap 2014, Held as Part of Staf 2014, York, Uk, July 24-25, 2014, Proceed, (Paperback), 0 of 1
Tests and Proofs: 8th International Conference, Tap 2014, Held as Part of Staf 2014, York, Uk, July 24-25, 2014, Proceed, (Paperback)
(No ratings yet)
Key item features
- Tests and Proofs: 8th International Conference, Tap 2014, Held as Part of Staf 2014, York, Uk, July 24-25, 2014, Proceed, (Paperback)
- Author: Springer
- ISBN: 9783319090986
- Format: Paperback
- Publication Date: 2014-08-04
- Page Count: 214
Specs
- Book formatPaperback
- Fiction/nonfictionNon-Fiction
- GenreComputing & Internet
- Pages214
- Series titleNo Series
- Number in series8570
Current price is USD$60.29
Price when purchased online
Free 30-day returns
How do you want your item?
Columbus, 43215
Arrives by Thu, Apr 16
|Shipping fee $7.98
Sold and shipped by Best Prices & Service
4.390134529147982 stars out of 5, based on 223 seller reviews(4.4)223 seller reviews
Free 30-day returns
About this item
Product details
This book constitutes the refereed proceedings of the 8th International Conference on Tests and Proofs, TAP 2014, held in York, UK, in July 2014, as part of the STAF 2014 Federated Conferences. The 10 revised full papers and 4 short papers presented together with two tutorial descriptions were carefully reviewed and selected from 27 submissions. The papers cover topics in the following four research areas: test generation, bridging semantic gaps, integrated development processes and bounded verification.
- Tests and Proofs: 8th International Conference, Tap 2014, Held as Part of Staf 2014, York, Uk, July 24-25, 2014, Proceed, (Paperback)
- Author: Springer
- ISBN: 9783319090986
- Format: Paperback
- Publication Date: 2014-08-04
- Page Count: 214
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
Pages
214
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
Big Data Benchmarking: 6th International Workshop, Wbdb 2015, Toronto, On, Canada, June 16-17, 2015 and 7th Internationa, (Paperback) $46.75
$4675current price $46.75Big Data Benchmarking: 6th International Workshop, Wbdb 2015, Toronto, On, Canada, June 16-17, 2015 and 7th Internationa, (Paperback)
Membrane Computing: 18th International Conference, CMC 2017, Bradford, Uk, July 25-28, 2017, Revised Selected Papers, (Paperback) $60.29
$6029current price $60.29Membrane Computing: 18th International Conference, CMC 2017, Bradford, Uk, July 25-28, 2017, Revised Selected Papers, (Paperback)
Pattern Recognition and Machine Intelligence: 6th International Conference, Premi 2015, Warsaw, Poland, June 30 - July 3, (Paperback) $54.99
$5499current price $54.99Pattern Recognition and Machine Intelligence: 6th International Conference, Premi 2015, Warsaw, Poland, June 30 - July 3, (Paperback)
Constraint Solving and Language Processing: 7th International Workshop, Cslp 2012, Orléans, France, September 13-14, 201, (Paperback) $54.97
$5497current price $54.97Constraint Solving and Language Processing: 7th International Workshop, Cslp 2012, Orléans, France, September 13-14, 201, (Paperback)
Analytical and Stochastic Modelling Techniques and Applications: 23rd International Conference, Asmta 2016, Cardiff, Uk,, (Paperback) $60.29
$6029current price $60.29Analytical and Stochastic Modelling Techniques and Applications: 23rd International Conference, Asmta 2016, Cardiff, Uk,, (Paperback)
Medical Image Computing and Computer-Assisted Intervention - Miccai 2014: 17th International Conference, Boston, Ma, Usa, (Paperback) $60.29
$6029current price $60.29Medical Image Computing and Computer-Assisted Intervention - Miccai 2014: 17th International Conference, Boston, Ma, Usa, (Paperback)
Logic Programming and Nonmonotonic Reasoning: 13th International Conference, Lpnmr 2015, Lexington, Ky, Usa, September 2, (Paperback) $54.99
$5499current price $54.99Logic Programming and Nonmonotonic Reasoning: 13th International Conference, Lpnmr 2015, Lexington, Ky, Usa, September 2, (Paperback)
Tests and Proofs: 10th International Conference, Tap 2016, Held as Part of Staf 2016, Vienna, Austria, July 5-7, 2016, P, (Paperback) $60.29
$6029current price $60.29Tests and Proofs: 10th International Conference, Tap 2016, Held as Part of Staf 2016, Vienna, Austria, July 5-7, 2016, P, (Paperback)
E-Voting and Identity: 4th International Conference, Vote-Id 2013, Guildford, Uk, July 17-19, 2013, Proceedings, (Paperback) $49.99
$4999current price $49.99E-Voting and Identity: 4th International Conference, Vote-Id 2013, Guildford, Uk, July 17-19, 2013, Proceedings, (Paperback)
Intelligent Robotics and Applications: 8th International Conference, Icira 2015, Portsmouth, Uk, August 24-27, 2015, Pro, (Paperback) $49.82
$4982current price $49.82Intelligent Robotics and Applications: 8th International Conference, Icira 2015, Portsmouth, Uk, August 24-27, 2015, Pro, (Paperback)
Information Theoretic Security: 7th International Conference, Icits 2013, Singapore, November 28-30, 2013, Proceedings, (Paperback) $63.65
$6365current price $63.65Information Theoretic Security: 7th International Conference, Icits 2013, Singapore, November 28-30, 2013, Proceedings, (Paperback)
Applications and Theory of Petri Nets 2005: 26th International Conference, Icatpn 2005, Miami, Fl, June 20-25, 2005, Pro, (Paperback) $56.14
$5614current price $56.14Applications and Theory of Petri Nets 2005: 26th International Conference, Icatpn 2005, Miami, Fl, June 20-25, 2005, Pro, (Paperback)
Theory and Applications of Satisfiability Testing - SAT 2016: 19th International Conference, Bordeaux, France, July 5-8,, (Paperback) $56.14
$5614current price $56.14Theory and Applications of Satisfiability Testing - SAT 2016: 19th International Conference, Bordeaux, France, July 5-8,, (Paperback)
The Challenge of Working for Americans: Perspectives of an International Workforce, (Paperback) $50.00
$5000current price $50.00The Challenge of Working for Americans: Perspectives of an International Workforce, (Paperback)
Lecture Notes in Computer Science Computer Aided Verification: 35th International Conference, Cav 2023, Paris, France, July 17-22, 2023, Proceedings, Part, Book 13966, (Paperback) $49.99
$4999current price $49.99Lecture Notes in Computer Science Computer Aided Verification: 35th International Conference, Cav 2023, Paris, France, July 17-22, 2023, Proceedings, Part, Book 13966, (Paperback)
Computer Aided Verification: 33rd International Conference, Cav 2021, Virtual Event, July 20-23, 2021, Proceedings, Part, (Paperback) $49.99
$4999current price $49.99Computer Aided Verification: 33rd International Conference, Cav 2021, Virtual Event, July 20-23, 2021, Proceedings, Part, (Paperback)
Fundamental Approaches to Software Engineering: 10th International Conference, FASE 2007 Held as Part of the Joint Europ, (Paperback) $56.14
$5614current price $56.14Fundamental Approaches to Software Engineering: 10th International Conference, FASE 2007 Held as Part of the Joint Europ, (Paperback)
Brain Informatics and Health: 8th International Conference, Bih 2015, London, Uk, August 30 - September 2, 2015. Proceed, (Paperback) $60.29
$6029current price $60.29Brain Informatics and Health: 8th International Conference, Bih 2015, London, Uk, August 30 - September 2, 2015. Proceed, (Paperback)
Lecture Notes in Computer Science Tests and Proofs: 16th International Conference, Tap 2022, Held as Part of Staf 2022, Nantes, France, July 5, 2022, Proc, Book 13361, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Tests and Proofs: 16th International Conference, Tap 2022, Held as Part of Staf 2022, Nantes, France, July 5, 2022, Proc, Book 13361, (Paperback)
Natural Language Generation: Third International Conference, Inlg 2004, Brockenhurst, Uk, July 14-16, 2004, Proceedings, (Paperback) $56.14
$5614current price $56.14Natural Language Generation: Third International Conference, Inlg 2004, Brockenhurst, Uk, July 14-16, 2004, Proceedings, (Paperback)
Customer ratings & reviews
0 ratings|0 reviews
This item does not have any reviews yet
