Home
Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, and 14th Workshop, NSV Los Angeles, CA, July Revised Selected Papers
Barnes and Noble
Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, and 14th Workshop, NSV Los Angeles, CA, July Revised Selected Papers
Current price: $59.99
Barnes and Noble
Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, and 14th Workshop, NSV Los Angeles, CA, July Revised Selected Papers
Current price: $59.99
Size: Paperback
Loading Inventory...
*Product information may vary - to confirm product availability, pricing, shipping and return information please contact Barnes and Noble
This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14
th
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.
th
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.
You May Also Like
More About Barnes and Noble at The Summit
With an excellent depth of book selection, competitive discounting of bestsellers, and comfortable settings, Barnes & Noble is an excellent place to browse for your next book.
Store Info
