When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
Numerical Software Verification: 12th International Workshop, Nsv 2019
- Item No : 115647070141
- Condition : Brand New
- Brand : No brand Info
- Seller : marcus8675
- Current Bid : US $59.99
-
* Item Description
- 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.
★ Recommended Products Related To This Item
♥ Best Selling Products in this category
