Hero image 0 of Verified Software: Theories, Tools, and Experiments: 7th International Conference, Vstte 2015, San Francisco, Ca, Usa, J, (Paperback), 0 of 1
Verified Software: Theories, Tools, and Experiments: 7th International Conference, Vstte 2015, San Francisco, Ca, Usa, J, (Paperback)
(No ratings yet)
Key item features
- Verified Software: Theories, Tools, and Experiments: 7th International Conference, Vstte 2015, San Francisco, Ca, Usa, J, (Paperback)
- Author: Springer
- ISBN: 9783319296128
- Format: Paperback
- Publication Date: 2016-01-29
- Page Count: 223
Specs
- Book formatPaperback
- Fiction/nonfictionNon-Fiction
- GenreComputing & Internet
- Publication dateJanuary, 2016
- Pages223
- SubgenreComputer Science
More seller options (2)
Starting from $62.45
About this item
Product details
This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015, held in July 2015 in San Francisco, CA, USA.
The 12 revised full papers presented were carefully revised and selected from 25 submissions.
The goal of this conference is to advance the state of the art in the science and technology of software verification, through the interaction of theory development, tool evolution, and experimental validation and large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge.
The 12 revised full papers presented were carefully revised and selected from 25 submissions.
The goal of this conference is to advance the state of the art in the science and technology of software verification, through the interaction of theory development, tool evolution, and experimental validation and large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge.
- Verified Software: Theories, Tools, and Experiments: 7th International Conference, Vstte 2015, San Francisco, Ca, Usa, J, (Paperback)
- Author: Springer
- ISBN: 9783319296128
- Format: Paperback
- Publication Date: 2016-01-29
- Page Count: 223
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
January, 2016
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 Verified Software. Theories, Tools and Experiments: 16th International Conference, Vstte 2024, Prague, Czech Republic, O, Book 15525, (Paperback) $37.90
$3790current price $37.90Lecture Notes in Computer Science Verified Software. Theories, Tools and Experiments: 16th International Conference, Vstte 2024, Prague, Czech Republic, O, Book 15525, (Paperback)
Case-Based Reasoning Research and Development: 24th International Conference, Iccbr 2016, Atlanta, Ga, Usa, October 31 -, (Paperback) $64.24
$6424current price $64.24Case-Based Reasoning Research and Development: 24th International Conference, Iccbr 2016, Atlanta, Ga, Usa, October 31 -, (Paperback)
Implementation and Application of Automata: 20th International Conference, Ciaa 2015, Umeå, Sweden, August 18-21, 2015, , (Paperback) $63.65
$6365current price $63.65Implementation and Application of Automata: 20th International Conference, Ciaa 2015, Umeå, Sweden, August 18-21, 2015, , (Paperback)
Geosensor Networks: Second International Conference, Gsn 2006, Boston, Ma, Usa, October 1-3, 2006, Revised Selected and , (Paperback) $35.40
$3540current price $35.40Geosensor Networks: Second International Conference, Gsn 2006, Boston, Ma, Usa, October 1-3, 2006, Revised Selected and , (Paperback)
NASA Formal Methods: 6th International Symposium, Nfm 2014, Houston, Tx, Usa, April 29 - May 1, 2014. Proceedings, (Paperback) $56.14
$5614current price $56.14NASA Formal Methods: 6th International Symposium, Nfm 2014, Houston, Tx, Usa, April 29 - May 1, 2014. Proceedings, (Paperback)
Foundations of Intelligent Systems: 21st International Symposium, Ismis 2014, Roskilde, Denmark, June 25-27, 2014. Proce, (Paperback) $60.29
$6029current price $60.29Foundations of Intelligent Systems: 21st International Symposium, Ismis 2014, Roskilde, Denmark, June 25-27, 2014. Proce, (Paperback)
America Observed: On an International Anthropology of the United States, (Paperback) $29.95
$2995current price $29.95America Observed: On an International Anthropology of the United States, (Paperback)
Lecture Notes in Computer Science Verified Software. Theories, Tools and Experiments.: 14th International Conference, Vstte 2022, Trento, Italy, October 1, Book 13800, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Verified Software. Theories, Tools and Experiments.: 14th International Conference, Vstte 2022, Trento, Italy, October 1, Book 13800, (Paperback)
Practical Aspects of Declarative Languages: 8th International Symposium, Padl 2006, Charleston, Sc, Usa, January 9-10, 2, (Paperback) $56.14
$5614current price $56.14Practical Aspects of Declarative Languages: 8th International Symposium, Padl 2006, Charleston, Sc, Usa, January 9-10, 2, (Paperback)
Artificial General Intelligence: 4th International Conference, Agi 2011, Mountain View, Ca, Usa, August 3-6, 2011, Proce, (Paperback) $54.99
$5499current price $54.99Artificial General Intelligence: 4th International Conference, Agi 2011, Mountain View, Ca, Usa, August 3-6, 2011, Proce, (Paperback)
Lecture Notes of the Institute for Compu Intelligent Technologies for Interactive Entertainment: Third International Conference, Intetain 2009, Amsterdam, the Ne, Book 9, (Paperback) $63.00
$6300current price $63.00Lecture Notes of the Institute for Compu Intelligent Technologies for Interactive Entertainment: Third International Conference, Intetain 2009, Amsterdam, the Ne, Book 9, (Paperback)
Pocket Books of the Hague Academy of Int Legal Facets of the Practice of International Organizations, Book 59, (Paperback) $25.00
$2500current price $25.00Pocket Books of the Hague Academy of Int Legal Facets of the Practice of International Organizations, Book 59, (Paperback)
American Society of Missiology Missional Imagination: Preparation for Kingdom Innovation, (Paperback) $34.81
$3481current price $34.81American Society of Missiology Missional Imagination: Preparation for Kingdom Innovation, (Paperback)
Implementation and Applications of Automata: 13th International Conference, Ciaa 2008, San Francisco, California, Usa, J, (Paperback) $39.89
$3989current price $39.89Implementation and Applications of Automata: 13th International Conference, Ciaa 2008, San Francisco, California, Usa, J, (Paperback)
Security Standardisation Research: First International Conference, Ssr 2014, London, Uk, December 16-17, 2014. Proceedin, (Paperback) $60.29
$6029current price $60.29Security Standardisation Research: First International Conference, Ssr 2014, London, Uk, December 16-17, 2014. Proceedin, (Paperback)
CPA Tax USA Second Edition 2025, (Paperback) $29.62 Was $37.99
$2962current price $29.62, Was $37.99$37.99CPA Tax USA Second Edition 2025, (Paperback)
Pre-Owned Secrets of Mental Math: The Mathemagician's Guide to Lightning Calculation and Amazing Math Tricks (Paperback) 0307338401 9780307338402 $6.06
3 optionsAvailable in additional 3 options$606current price $6.06Pre-Owned Secrets of Mental Math: The Mathemagician's Guide to Lightning Calculation and Amazing Math Tricks (Paperback) 0307338401 9780307338402
The United Nations in the 21st Century, (Paperback) $36.11
$3611current price $36.11The United Nations in the 21st Century, (Paperback)
Algebraic Methodology and Software Technology: 12th International Conference, Amast 2008 Urbana, Il, Usa, July 28-31, 20, (Paperback) $44.53
$4453current price $44.53Algebraic Methodology and Software Technology: 12th International Conference, Amast 2008 Urbana, Il, Usa, July 28-31, 20, (Paperback)
Model Checking Software: 12th International Spin Workshop, San Francisco, Ca, Usa, August 22-24, 2005, Proceedings, (Paperback) $56.14
$5614current price $56.14Model Checking Software: 12th International Spin Workshop, San Francisco, Ca, Usa, August 22-24, 2005, Proceedings, (Paperback)
Customer ratings & reviews
0 ratings|0 reviews
This item does not have any reviews yet
Related pages
- Media Usage
- Flowchart Programming
- Processengineering Technical Manufacturing Industries Trades Books
- Coding Programming Technology Engineering
- Azure Engineer
- Technical Insights
- Mathematical & Statistical Software Books
- Open Source Books
- General Programming Books
- Education & Software Books
- Algorithm Books
- Management Information Systems Books