Saxo Access
Indkøbskurv
  3. Numerical Software Verification
Numerical Software Verification (e-bog) af -
Prabhakar, Pavithra (redaktør)

Numerical Software Verification e-bog

436,85 DKK (inkl. moms 546,06 DKK)
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 reli...
E-bog 436,85 DKK
Kan læses i vores apps til iPhone/iPad og Android.
Forfattere Prabhakar, Pavithra (redaktør)
Forlag Springer
Udgivet 14 februar 2017
Genrer UKN
Sprog English
Format epub
Beskyttelse LCP
ISBN 9783319542928

Beskrivelse

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.