We a good story
4.1 / 5 on Trustpilot
Quick delivery in the UK
Trusted Ecommerce Europe
Help
Login
  1. Home
  2. Books
  3. Business & Education
  4. Computing & IT
  5. Numerical Software Verification

Numerical Software Verification

- 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

part of the Lecture Notes in Computer Science series

part of the Theoretical Computer Science and General Issues series

Numerical Software Verification
About Numerical Software Verification

This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Software Verification, NSV 2016, held in Toronto, ON, Canada in July 2011 - colocated with CAV 2016, the 28th International Conference on Computer Aided Verification.

Show more
  • Language:
  • English
  • ISBN:
  • 9783319542911
  • Binding:
  • Paperback
  • Pages:
  • 107
  • Published:
  • February 17, 2017
  • Edition:
  • 12017
  • Dimensions:
  • 155x235x6 mm.
  • Weight:
  • 1883 g.
Delivery: 2-4 weeks
Expected delivery: November 1, 2024

Description of Numerical Software Verification

This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Software Verification, NSV 2016, held in Toronto, ON, Canada in July 2011 - colocated with CAV 2016, the 28th International Conference on Computer Aided Verification.

User ratings of Numerical Software Verification



Others also bought..
Find similar books
The book Numerical Software Verification can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.