Carte Numerical Software Verification Sergiy Bogomolov

Numerical Software Verification

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

Limbă: engleză
Legare: Carte broșată
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

Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2017
Pagini
107
EAN
9783319542911
ISBN
3319542915
Enbook ID
15802752
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

Stones of Christ Church

Judith (Archivist) Curthoys
196.93 lei

When I Was a Boy

DE BLAUWER KATRIEN
247.10 lei

Arboretum America

Diana Beresford-Kroeger
145.14 lei
155.66 lei

He Went for a Soldier

JOHN STRANGE WINTER
164.05 lei
291.91 lei
57.75 lei

Tailored Realities

Brandon Sanderson
143.83 lei
240.52 lei
184.28 lei
117.12 lei

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

Intermezzo

Sally Rooney
91.23 lei
84.85 lei
240.12 lei
54.71 lei
60.68 lei
61.08 lei

La fada negra

XAVIER THEROS
160.51 lei