Numerical Software Verification

Author : Matthieu Martel,Sergiy Bogomolov

Paperback

Published : Friday 17 February 2017

ISBN : 9783319542911

Price : €52.64

Description

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 ...

Numerical Software Verification

by Matthieu Martel,Sergiy Bogomolov

Paperback

17 Feb 2017

Information technology: general topics

€52.64

Extended stock – Dispatch 5-7 days

New

The Oxford Handbook of the Books of Kin...

by Matthieu Richelle,Steven L. McKenzie

Hardback

07 Jul 2024

Christianity

€134.55

Extended stock – Dispatch 5-7 days

Notebooks of a Wandering Monk

by Matthieu Ricard,Jesse Browner

Hardback

03 Oct 2023

Autobiography: religious and spiritual

€42.12

Extended stock – Dispatch 5-7 days

The Naked Don't Fear the Water

by Matthieu Aikins

Paperback

14 Feb 2023

€22.22

Extended stock – Dispatch 5-7 days

Reviews