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 2019 - colocated with the International Conference on Computer Aided Verification, CAV 2019. The 5 full papers presented together with 2 short papers, 3 abstracts of invited talks, and 2 tutorial papers were carefully reviewed and selected from numerous submissions.
The NSV 2017 workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.
| ISBN: | 9783030284220 |
| Publication date: | 3rd August 2019 |
| Author: | Majid Zamani |
| Publisher: | Springer Nature Switzerland AG |
| Format: | Paperback |
| Pagination: | 145 pages |
| Series: | Theoretical Computer Science and General Issues |
| Genres: |
Mathematical theory of computation Software Engineering Artificial intelligence Information technology: general topics |
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 2019 - colocated with the International Conference on Computer Aided Verification, CAV 2019. The 5 full papers presented together with 2 short papers, 3 abstracts of invited talks, and 2 tutorial papers were carefully reviewed and selected from numerous submissions.
Numerical Software Verification features in the following genres: Mathematical theory of computation, Software Engineering, Artificial intelligence, Information technology: general topics
Paperback. £40.49, down from the £44.99 cover price. Not Available.
Numerical Software Verification was written by Majid Zamani and published by Springer Nature Switzerland AG
Numerical Software Verification has 145 pages
Yes it is part of Theoretical Computer Science and General Issues series
£40.49, reduced from £44.99. Not Available.