|
|
Showing 1 - 1 of
1 matches in All Departments
|
Software Verification - 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers (Paperback, 1st ed. 2022)
Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina
|
R1,499
Discovery Miles 14 990
|
Ships in 18 - 22 working days
|
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.
|
You may like...
Crowboy
Ricky Gibson
Hardcover
R589
Discovery Miles 5 890
|