Numerical Software Verification

9th International Workshop, Nsv 2016, Toronto, On, Canada, July 17-18, 2016, Revised Selected Papers

By: Matthieu Martel (Editor), Sergiy Bogomolov (Editor), Pavithra Prabhakar (Editor)

Write A Review

Paperback | 17 February 2017

At a Glance

Paperback
116 Pages

Dimensions(cm)
23.5 x 15.5 x 0.61

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

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.

The NSV workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.