Numerical Software Verification

Name: Numerical Software Verification
Brand: Springer Nature Switzerland AG
SKU: 9783030284220
Price: 19071 HUF
Availability: InStock

Szerző: Damien Zufferey

Nyelv:

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

Kiadó: Springer Nature Switzerland AG

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 071 Ft

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

Információk a könyvről

Szerző

Damien Zufferey

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2019

oldal

145

EAN

9783030284220

ISBN

3030284220

Enbook ID

24340163

Kiadó

Springer Nature Switzerland AG

Súly

454

Méretek

155 x 235 x 10

Teljes leírás

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.

É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

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