Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 11.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Numerical Software Verification

Name: Numerical Software Verification
Brand: Springer
SKU: 41001603
Price: 60.15 EUR
Availability: InStock
Author: Majid Zamani
ISBN: 9783030284237

12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019, Proceedings

Majid Zamani

Damien Zufferey

Language

English

E-book Adobe ePub DRM

Libristo code: 41001603

Publishers Springer, August 2019

This book constitutes the proceedings of the 12th International Workshop on Numerical Software Verif... Full description

Libristo code: 41001603

145 b

60.15 €

In stock Immediate digital delivery

Customers also purchased

PRLUDES Sergej W. Rachmaninow

Paperback

28.25 €

Trabajamos los valores en Primaria. Actividades para los tres ciclos Manuela Guzmán González

Paperback

14.57 €

Invatam Fructele Glorya Phillips

Paperback

4.65 €

This book constitutes the proceedings of the 12th International Workshop on Numerical Software Verification, NSV 2019, held in New York City, NY, USA, in July 2019 - colocated with the International Conference on Computer Aided Verification, CAV 2019.The 5 full papers presented together with 2 short papers, 3 abstracts of invited talks, and 2 tutorial papers were carefully reviewed and selected from numerous submissions.The NSV 2017 workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.