Verified Software. Theories, Tools, and Experiments: 11th International Conference, Vstte 2019, New York City, Ny, Usa, , (Paperback)
(No ratings yet)
Key item features
- Verified Software. Theories, Tools, and Experiments: 11th International Conference, Vstte 2019, New York City, Ny, Usa, , (Paperback)
- Author: Springer
- ISBN: 9783030415990
- Format: Paperback
- Publication Date: 2020-03-14
- Page Count: 193
Specs
- Book formatPaperback
- Fiction/nonfictionNon-Fiction
- GenreComputing & Internet
- Pub date20200101
- Pages193
- Series titleNo Series
Current price is USD$54.99
Price when purchased online
- Free shipping
Free 90-day returns
How do you want your item?
Try 30 days of Free Shipping with Walmart+! Choose plan at checkout.
Columbus, 43215
Arrives by Tomorrow
.Order within 4 hr 40 min
Sold and shipped by Walmart.com
Free 90-day returns
This item is gift eligible
More seller options (1)
Starting from $60.29
Get free delivery, shipping and more*
*Restrictions apply Try Walmart+ now
About this item
Product details
This volume constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2019, held in New York City, NY, USA, in July 2019.
The 9 full papers presented were carefully revised and selected from 17 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.
- Verified Software. Theories, Tools, and Experiments: 11th International Conference, Vstte 2019, New York City, Ny, Usa, , (Paperback)
- Author: Springer
- ISBN: 9783030415990
- Format: Paperback
- Publication Date: 2020-03-14
- Page Count: 193
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
Pub date
20200101
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 Mobile Agents: 5th International Conference, Ma 2001 Atlanta, Ga, Usa, December 2-4, 2001 Proceedings, Book 2240, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Mobile Agents: 5th International Conference, Ma 2001 Atlanta, Ga, Usa, December 2-4, 2001 Proceedings, Book 2240, (Paperback)
Developments in Language Theory: 24th International Conference, Dlt 2020, Tampa, Fl, Usa, May 11-15, 2020, Proceedings, (Paperback) $50.35
$5035current price $50.35Developments in Language Theory: 24th International Conference, Dlt 2020, Tampa, Fl, Usa, May 11-15, 2020, Proceedings, (Paperback)
Numerical Software Verification: 12th International Workshop, Nsv 2019, New York City, Ny, Usa, July 13-14, 2019, Procee, (Paperback) $54.99
$5499current price $54.99Numerical Software Verification: 12th International Workshop, Nsv 2019, New York City, Ny, Usa, July 13-14, 2019, Procee, (Paperback)
Lecture Notes in Computer Science Verification, Model Checking, and Abstract Interpretation: 4th International Conference, Vmcai 2003, New York, Ny, Usa, , Book 2575, (Paperback) $50.99
$5099current price $50.99Lecture Notes in Computer Science Verification, Model Checking, and Abstract Interpretation: 4th International Conference, Vmcai 2003, New York, Ny, Usa, , Book 2575, (Paperback)
Advances in Learning Classifier Systems: 4th International Workshop, Iwlcs 2001, San Francisco, Ca, Usa, July 7-8, 2001., (Paperback) $54.99
$5499current price $54.99Advances in Learning Classifier Systems: 4th International Workshop, Iwlcs 2001, San Francisco, Ca, Usa, July 7-8, 2001., (Paperback)
Lecture Notes in Computer Science Fast Software Encryption: 7th International Workshop, Fse 2000, New York, Ny, Usa, April 10-12, 2000. Proceedings, Book 1978, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Fast Software Encryption: 7th International Workshop, Fse 2000, New York, Ny, Usa, April 10-12, 2000. Proceedings, Book 1978, (Paperback)
Automated Technology for Verification and Analysis: 12th International Symposium, Atva 2014, Sydney, Australia, November, (Paperback) $54.99
$5499current price $54.99Automated Technology for Verification and Analysis: 12th International Symposium, Atva 2014, Sydney, Australia, November, (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)
Runtime Verification: Second International Conference, RV 2011, San Francisco, Usa, September 27-30, 2011, Revised Selec, (Paperback) $54.99
$5499current price $54.99Runtime Verification: Second International Conference, RV 2011, San Francisco, Usa, September 27-30, 2011, Revised Selec, (Paperback)
Camera-Based Document Analysis and Recognition: 5th International Workshop, Cbdar 2013, Washington, DC, Usa, August 23, , (Paperback) $49.74
$4974current price $49.74Camera-Based Document Analysis and Recognition: 5th International Workshop, Cbdar 2013, Washington, DC, Usa, August 23, , (Paperback)
Computer Aided Verification : 27th International Conference, Cav 2015, San Francisco, Ca, Usa, July 18-24, 2015, Proceedings, Part I (Paperback) $54.99
$5499current price $54.99Computer Aided Verification : 27th International Conference, Cav 2015, San Francisco, Ca, Usa, July 18-24, 2015, Proceedings, Part I (Paperback)
Data Integration in the Life Sciences: Second International Workshop, Dils 2005, San Diego, Ca, Usa, July 20-22, 2005, P, (Paperback) $54.99
$5499current price $54.99Data Integration in the Life Sciences: Second International Workshop, Dils 2005, San Diego, Ca, Usa, July 20-22, 2005, P, (Paperback)
Lecture Notes in Computer Science Formal Methods in Computer-Aided Design: 4th International Conference, Fmcad 2002, Portland, Or, Usa, November 6-8, 2002, Book 2517, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Formal Methods in Computer-Aided Design: 4th International Conference, Fmcad 2002, Portland, Or, Usa, November 6-8, 2002, Book 2517, (Paperback)
Algorithmic Learning Theory: 4th International Workshop on Analogical and Inductive Inference, Aii '94, 5th Interna, (Paperback) $54.99
$5499current price $54.99Algorithmic Learning Theory: 4th International Workshop on Analogical and Inductive Inference, Aii '94, 5th Interna, (Paperback)
Testing of Communicating Systems: 18th Ifip Tc 6/Wg 6.1 International Conference, Testcom 2006, New York, Ny, Usa, May 1, (Paperback) $54.99
$5499current price $54.99Testing of Communicating Systems: 18th Ifip Tc 6/Wg 6.1 International Conference, Testcom 2006, New York, Ny, Usa, May 1, (Paperback)
Theory and Application of Satisfiability Testing: 14th International Conference, SAT 2011, Ann Arbor, Mi, Usa, June 19-2, (Paperback) $54.94
$5494current price $54.94Theory and Application of Satisfiability Testing: 14th International Conference, SAT 2011, Ann Arbor, Mi, Usa, June 19-2, (Paperback)
Algorithms in Bioinformatics: 15th International Workshop, Wabi 2015, Atlanta, Ga, Usa, September 10-12, 2015, Proceedin, (Paperback) $54.99
$5499current price $54.99Algorithms in Bioinformatics: 15th International Workshop, Wabi 2015, Atlanta, Ga, Usa, September 10-12, 2015, Proceedin, (Paperback)
Requirements Engineering: Foundation for Software Quality: 15th International Working Conference, Refsq 2009 Amsterdam, , (Paperback) $54.99
$5499current price $54.99Requirements Engineering: Foundation for Software Quality: 15th International Working Conference, Refsq 2009 Amsterdam, , (Paperback)
Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, Setta 2017, Changsha,, (Paperback) $54.99
$5499current price $54.99Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, Setta 2017, Changsha,, (Paperback)
Research in Computational Molecular Biology: 18th Annual International Conference, Recomb 2014, Pittsburgh, Pa, Usa, Apr, (Paperback) $54.99
$5499current price $54.99Research in Computational Molecular Biology: 18th Annual International Conference, Recomb 2014, Pittsburgh, Pa, Usa, Apr, (Paperback)
Customer ratings & reviews
0 ratings|0 reviews
This item does not have any reviews yet
Related pages
- Math Electricians
- Theoretical Minimum
- Project Case Studies
- Autonomous Engineering
- Pi Engineering
- James Clerk Maxwell Electromagnetic Theory
- Project Management Technology & Engineering Books
- Ruby Programming Language Books
- Social Aspects Technology & Engineering Books
- Books on Experimental Education Methods
- Operations Research in Technology & Engineering Books
- Perl Programming Language Books