Numerical Software Verification

Name: Numerical Software Verification
Brand: Springer Nature Switzerland AG
SKU: 9783030284220
Price: 54.21 EUR
Availability: InStock

Autor: Damien Zufferey

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer Nature Switzerland AG

Dostupnosť: Skladom u dodávateľa v malom množstve

Odosielame za 13-18 dní

54.21 €

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

Informácie o knihe

Autor

Damien Zufferey

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2019

Stránok

145

EAN

9783030284220

ISBN

3030284220

Enbook ID

24340163

Vydavateľ

Springer Nature Switzerland AG

Hmotnosť

454

Rozmery

155 x 235 x 10

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Numerical Software Verification

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež