Numerical Software Verification

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

Autor: Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar

Limbă:

Legare: Carte broșată

Editura: Springer International Publishing AG

Disponibilitate: În depozitul extern în cantități mici

Expediem în 13-18 zile

298.08 lei

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

Informații despre carte

Autor

Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2017

Pagini

107

EAN

9783319542911

ISBN

3319542915

Enbook ID

15802752

Editura

Springer International Publishing AG

Greutate

1883

Dimensiuni

155 x 235 x 7

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Numerical Software Verification

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

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și