Amvik eBook Solutions
Read and Download eBook Online Now
Related Books
Language: en
Pages: 154
Pages: 154
Type: BOOK - Published: 2019-08-02 - Publisher: Springer
This book constitutes the proceedings of the 12th International Workshop on Numerical Software Verification, NSV 2019, held in New York City, NY, USA, in July 2
Language: en
Pages: 114
Pages: 114
Type: BOOK - Published: 2017-02-14 - Publisher: Springer
This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Software Verification, NSV 2016, held in Toronto, ON, Canada in Jul
Language: en
Pages: 128
Pages: 128
Type: BOOK - Published: 2017-07-11 - Publisher: Springer
This book constitutes the proceedings of the 10th International Workshop on Numerical Software Verification, NSV 2017, held in Heidelberg, Germany, in July 2017
Language: en
Pages: 207
Pages: 207
Type: BOOK - Published: 2022-02-21 - Publisher: Springer Nature
This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Num
Language: en
Pages: 239
Pages: 239
Type: BOOK - Published: 2020-12-05 - Publisher: Springer Nature
This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and the 13th International Workshop on Num
