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 From Special Relativity to Feynman Diagrams by
Cover of the book Medical Image Computing and Computer Assisted Intervention – MICCAI 2018 by
Cover of the book Seismic Hydrocarbon Exploration by
Cover of the book Educational Journeys, Struggles and Ethnic Identity by
Cover of the book Geology of Southwest Gondwana by
Cover of the book Risk Management of Non-Renewable Energy Systems by
Cover of the book Sustainability Conflicts in Coastal India by
Cover of the book Challenges in Modelling and Simulation of Shale Gas Reservoirs by
Cover of the book Development of Coherent Detector Technologies for Sub-Millimetre Wave Astronomy Observations by
Cover of the book The Google Model by
Cover of the book An Introduction to Structural Mechanics for Architects by
Cover of the book Advances in Engineering Education in the Middle East and North Africa by
Cover of the book Navier–Stokes Equations by
Cover of the book Putnam and Beyond by
Cover of the book Rethinking Curriculum in Times of Shifting Educational Context 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