Numerical Software Verification

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

Szerző: Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer International Publishing AG

Elérhetőség: Beszállítói készleten alacsony példányszámban

Küldés 11-15 napon belül

20 529 Ft

This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Softwar...

Információk a könyvről

Szerző

Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2017

oldal

107

EAN

9783319542911

ISBN

3319542915

Enbook ID

15802752

Kiadó

Springer International Publishing AG

Súly

1883

Méretek

155 x 235 x 7

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Numerical Software Verification

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

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták