Software Verification: 13th International Conference, Vstte 2021, New Haven, Ct, Usa, October 18-19, 2021, and 14th Inte, (Paperback)
(No ratings yet)
Key item features
- Software Verification: 13th International Conference, Vstte 2021, New Haven, Ct, Usa, October 18-19, 2021, and 14th Inte, (Paperback)
- Author: Springer
- ISBN: 9783030955601
- Format: Paperback
- Publication Date: 2022-02-22
- Page Count: 197
Specs
- Book formatPaperback
- Fiction/nonfictionNon-Fiction
- GenreComputing & Internet
- Publication dateFebruary, 2022
- Pages197
- SubgenreProgramming
Current price is USD$59.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 Sat, Apr 25
.Order within 2 hr 12 min
Sold and shipped by Walmart.com
Free 90-day returns - in store or online
This item is gift eligible
More seller options (1)
Starting from $65.61
Get free delivery, shipping and more*
*Restrictions apply Try Walmart+ now
About this item
Product details
This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021. Due to COVID-19 pandemic the conference was held virtually.
There were 10 papers presented in this volume were carefully reviewed and selected from 20 submissions.
The papers focuses on challenges of the verification of cyber-physical systems with machine learning components and making large-scale verified software a practical reality and much more.
- Software Verification: 13th International Conference, Vstte 2021, New Haven, Ct, Usa, October 18-19, 2021, and 14th Inte, (Paperback)
- Author: Springer
- ISBN: 9783030955601
- Format: Paperback
- Publication Date: 2022-02-22
- Page Count: 197
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
February, 2022
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
Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Pa, (Paperback) $60.29
$6029current price $60.29Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Pa, (Paperback)
Information Theoretic Security: Third International Conference, Icits 2008, Calgary, Canada, August 10-13, 2008, Proceed, (Paperback) $54.99
$5499current price $54.99Information Theoretic Security: Third International Conference, Icits 2008, Calgary, Canada, August 10-13, 2008, Proceed, (Paperback)
Oois'94: 1994 International Conference on Object Oriented Information Systems 19-21 December 1994, London, (Paperback) $54.99
$5499current price $54.99Oois'94: 1994 International Conference on Object Oriented Information Systems 19-21 December 1994, London, (Paperback)
Requirements Engineering: Foundation for Software Quality: 18th International Working Conference, REFSQ 2012, Essen, Ger, (Paperback) $58.98
$5898current price $58.98Requirements Engineering: Foundation for Software Quality: 18th International Working Conference, REFSQ 2012, Essen, Ger, (Paperback)
Security Standardisation Research: Third International Conference, Ssr 2016, Gaithersburg, MD, Usa, December 5-6, 2016, , (Paperback) $54.99
$5499current price $54.99Security Standardisation Research: Third International Conference, Ssr 2016, Gaithersburg, MD, Usa, December 5-6, 2016, , (Paperback)
Smart Computing and Communication: 4th International Conference, Smartcom 2019, Birmingham, Uk, October 11-13, 2019, Pro, (Paperback) $54.99
$5499current price $54.99Smart Computing and Communication: 4th International Conference, Smartcom 2019, Birmingham, Uk, October 11-13, 2019, Pro, (Paperback)
Mathematical and Computational Oncology: Second International Symposium, Ismco 2020, San Diego, Ca, Usa, October 8-10, 2, (Paperback) $54.99
$5499current price $54.99Mathematical and Computational Oncology: Second International Symposium, Ismco 2020, San Diego, Ca, Usa, October 8-10, 2, (Paperback)
Algorithmic Decision Theory: Second International Conference, ADT 2011, Piscataway, Nj, Usa, October 26-28, 2011. Procee, (Paperback) $54.99
$5499current price $54.99Algorithmic Decision Theory: Second International Conference, ADT 2011, Piscataway, Nj, Usa, October 26-28, 2011. Procee, (Paperback)
Social Informatics: Third International Conference, SocInfo 2011, Singapore, October 6-8, 2011, Proceedings, (Paperback) $60.29
$6029current price $60.29Social Informatics: Third International Conference, SocInfo 2011, Singapore, October 6-8, 2011, 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)
Security Standardisation Research: 6th International Conference, Ssr 2020, London, Uk, November 30 - December 1, 2020, P, (Paperback) $54.99
$5499current price $54.99Security Standardisation Research: 6th International Conference, Ssr 2020, London, Uk, November 30 - December 1, 2020, P, (Paperback)
Software Language Engineering: 5th International Conference, Sle 2012, Dresden, Germany, September 26-28, 2012, Revised , (Paperback) $54.99
$5499current price $54.99Software Language Engineering: 5th International Conference, Sle 2012, Dresden, Germany, September 26-28, 2012, Revised , (Paperback)
Foundations of Software Science and Computational Structures: 15th International Conference, FOSSACS 2012, Held as Part , (Paperback) $60.29
$6029current price $60.29Foundations of Software Science and Computational Structures: 15th International Conference, FOSSACS 2012, Held as Part , (Paperback)
Electronic Government: 10th IFIP WG 8.5 International Conference, EGOV 2011, Delft, Thenetherlands, August 28-September , (Paperback) $60.29
$6029current price $60.29Electronic Government: 10th IFIP WG 8.5 International Conference, EGOV 2011, Delft, Thenetherlands, August 28-September , (Paperback)
Foundations of Intelligent Systems: 22nd International Symposium, Ismis 2015, Lyon, France, October 21-23, 2015, Proceed, (Paperback) $54.99
$5499current price $54.99Foundations of Intelligent Systems: 22nd International Symposium, Ismis 2015, Lyon, France, October 21-23, 2015, Proceed, (Paperback)
Brain Informatics and Health: International Conference, Bih 2016, Omaha, Ne, Usa, October 13-16, 2016 Proceedings, (Paperback) $60.29
$6029current price $60.29Brain Informatics and Health: International Conference, Bih 2016, Omaha, Ne, Usa, October 13-16, 2016 Proceedings, (Paperback)
Smart Blockchain: Second International Conference, Smartblock 2019, Birmingham, Uk, October 11-13, 2019, Proceedings, (Paperback) $54.99
$5499current price $54.99Smart Blockchain: Second International Conference, Smartblock 2019, Birmingham, Uk, October 11-13, 2019, Proceedings, (Paperback)
Foundations and Practice of Security: 9th International Symposium, Fps 2016, Québec City, Qc, Canada, October 24-25, 201, (Paperback) $63.65
$6365current price $63.65Foundations and Practice of Security: 9th International Symposium, Fps 2016, Québec City, Qc, Canada, October 24-25, 201, (Paperback)
Fundamental Approaches to Software Engineering: 9th International Conference, Fase 2006, Held as Part of the Joint Europ, (Paperback) $60.29
$6029current price $60.29Fundamental Approaches to Software Engineering: 9th International Conference, Fase 2006, Held as Part of the Joint Europ, (Paperback)
Component-Based Software Engineering: 8th International Symposium, Cbse 2005, St. Louis, Mo, Usa, May 14-15, 2005, (Paperback) $56.14
$5614current price $56.14Component-Based Software Engineering: 8th International Symposium, Cbse 2005, St. Louis, Mo, Usa, May 14-15, 2005, (Paperback)
Customer ratings & reviews
0 ratings|0 reviews
This item does not have any reviews yet
