The following text field will produce suggestions that follow it as you type.

Home

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

Barnes and Noble

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

Current price: $54.99
Numerical Software Verification: 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Numerical Software Verification: 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

Barnes and Noble

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

Current price: $54.99

Size: OS

Loading Inventory...
CartBuy Online
*Product information may vary - to confirm product availability, pricing, shipping and return information please contact Barnes and Noble
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.

You May Also Like

OWL: Experiences and Directions - Reasoner Evaluation: 13th International Workshop, OWLED 2016, and 5th International Workshop, ORE 2016, Bologna, Italy, November 20, 2016, Revised Selected Papers
Loading Inventory...
OWL: Experiences and Directions - Reasoner Evaluation: 13th International Workshop, OWLED 2016, and 5th International Workshop, ORE 2016, Bologna, Italy, November 20, 2016, Revised Selected Papers
Barnes & Noble
Current price: $54.99
Structured Object-Oriented Formal Language and Method: 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers
Loading Inventory...
Structured Object-Oriented Formal Language and Method: 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers
Barnes & Noble
Current price: $54.99
Knowledge Representation for Health Care: HEC 2016 International Joint Workshop, KR4HC/ProHealth 2016, Munich, Germany, September 2, 2016, Revised Selected Papers
Loading Inventory...
Knowledge Representation for Health Care: HEC 2016 International Joint Workshop, KR4HC/ProHealth 2016, Munich, Germany, September 2, 2016, Revised Selected Papers
Barnes & Noble
Current price: $54.99
Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers
Loading Inventory...
Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers
Barnes & Noble
Current price: $44.99
Verified Software: Theories, Tools, and Experiments: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
Loading Inventory...
Verified Software: Theories, Tools, and Experiments: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
Barnes & Noble
Current price: $54.99
Information Systems Security and Privacy: Second International Conference, ICISSP 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers
Loading Inventory...
Information Systems Security and Privacy: Second International Conference, ICISSP 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers
Barnes & Noble
Current price: $54.99
Web Information Systems and Technologies: 12th International Conference, WEBIST 2016, Rome, Italy, April 23-25, 2016, Revised Selected Papers
Loading Inventory...
Web Information Systems and Technologies: 12th International Conference, WEBIST 2016, Rome, Italy, April 23-25, 2016, Revised Selected Papers
Barnes & Noble
Current price: $54.99
Computer Vision - ACCV 2016: 13th Asian Conference on Computer Vision, Taipei, Taiwan, November 20-24, 2016, Revised Selected Papers, Part V
Loading Inventory...
Computer Vision - ACCV 2016: 13th Asian Conference on Computer Vision, Taipei, Taiwan, November 20-24, 2016, Revised Selected Papers, Part V
Barnes & Noble
Current price: $54.99
Process-Aware Systems: Second International Workshop, PAS 2015, Hangzhou, China, October 30, 2015. Revised Selected Papers
Loading Inventory...
Process-Aware Systems: Second International Workshop, PAS 2015, Hangzhou, China, October 30, 2015. Revised Selected Papers
Barnes & Noble
Current price: $54.99
Data Privacy Management, and Security Assurance: 10th International Workshop, DPM 2015, and 4th International Workshop, QASA 2015, Vienna, Austria, September 21-22, 2015. Revised Selected Papers
Loading Inventory...
Data Privacy Management, and Security Assurance: 10th International Workshop, DPM 2015, and 4th International Workshop, QASA 2015, Vienna, Austria, September 21-22, 2015. Revised Selected Papers
Barnes & Noble
Current price: $109.99
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I
Loading Inventory...
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I
Barnes & Noble
Current price: $54.99
Multi-Agent-Based Simulation XXII: 22nd International Workshop, MABS 2021, Virtual Event, May 3-7, Revised Selected Papers
Loading Inventory...
Multi-Agent-Based Simulation XXII: 22nd International Workshop, MABS 2021, Virtual Event, May 3-7, Revised Selected Papers
Barnes & Noble
Current price: $59.99

Keep Shopping

on sale.jpg

On Sale

new in.jpg

New In

men.jpg

Men

women.jpg

Women

baby abd kids.jpg

Baby and Kids

beaity.jpg

Beauty

jewelry.jpg

Jewelry

More About Barnes and Noble at The Summit

With an excellent depth of book selection, competitive discounting of bestsellers, and comfortable settings, Barnes & Noble is an excellent place to browse for your next book.

Store Info

Powered by Adeptmind