Numerical Software Verification

Explore the cutting-edge world of software verification with Numerical Software Verification by Sergiy Bogomolov. This insightful book is a compilation of the refereed proceedings from the 9th International Workshop on Numerical Software Verification, held in Toronto, Canada, in July 2016. Published by Springer International Publishing AG in 2017, this first edition spans 107 pages of crucial discussions and findings in the field of computer software verification. Ideal for researchers, practitioners, and students alike, this book delves into innovative methods and techniques that enhance the reliability and accuracy of numerical software. Don't miss the opportunity to deepen your understanding of this vital area in computer science.