Numerical Software Verification

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

Nonfiction, Computers, Programming, Software Development, General Computing
Cover of the book Numerical Software Verification by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319542928
Publisher: Springer International Publishing Publication: February 14, 2017
Imprint: Springer Language: English
Author:
ISBN: 9783319542928
Publisher: Springer International Publishing
Publication: February 14, 2017
Imprint: Springer
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Springer International Publishing

Cover of the book Pericyte Biology - Novel Concepts by
Cover of the book Pattern Recognition Applications and Methods by
Cover of the book Real-Variable Theory of Musielak-Orlicz Hardy Spaces by
Cover of the book Recent Developments in the Philosophy of Science: EPSA13 Helsinki by
Cover of the book Life-cycle Cost Approach for Management of Environmental Resources by
Cover of the book Targeting the Broadly Pathogenic Kynurenine Pathway by
Cover of the book Local Anaesthesia in Dentistry by
Cover of the book Impaired Wetlands in a Damaged Landscape by
Cover of the book Computers Helping People with Special Needs by
Cover of the book Wind Energy Exploitation in Urban Environment by
Cover of the book In-situ Studies with Photons, Neutrons and Electrons Scattering II by
Cover of the book Thermal Behavior of Photovoltaic Devices by
Cover of the book Urban Mobility in Modern China by
Cover of the book The Holy Spirit and Christian Formation by
Cover of the book Environmental Project Management by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy