Numerical Software Verification: 10th International Workshop, Nsv 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings 2017 Edition Contributor(s): Abate, Alessandro (Editor), Boldo, Sylvie (Editor) |
|
ISBN: 331963500X ISBN-13: 9783319635002 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback Published: July 2017 |
Additional Information |
BISAC Categories: - Computers | Programming - Algorithms - Computers | Software Development & Engineering - General - Mathematics | Logic |
Dewey: 005.101 |
Series: Lecture Notes in Computer Science |
Physical Information: 0.3" H x 6.14" W x 9.21" (0.45 lbs) 115 pages |
Descriptions, Reviews, Etc. |
Publisher Description: This book constitutes the proceedings of the 10th International Workshop on Numerical Software Verification, NSV 2017, held in Heidelberg, Germany, in July 2017 - colocated with the International Workshop on Formal Methods for Rigorous Systems Engineering of Cyber-Physical Systems, RISE4CPS 2017, a one-time, invited-only event.The 3 full papers presented together with 3 short papers, 2 keynote abstracts and 4 invited abstracts 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. |