Kniha Numerical Software Verification Sergiy Bogomolov

Numerical Software Verification

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

Jazyk: Angličtina
Vazba: Brožovaná
Dostupnost: Skladem u dodavatele v malém množství
Odesíláme za 13-18 dnů
1 311
This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Softwar...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2017
Stránek
107
EAN
9783319542911
ISBN
3319542915
Enbook ID
15802752
Hmotnost
1883
Rozměry
155 x 235 x 7

Kompletní popis

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.

Mohlo by vás zajímat

When I Was a Boy

DE BLAUWER KATRIEN
1 139

He Went for a Soldier

JOHN STRANGE WINTER
686

Stones of Christ Church

Judith (Archivist) Curthoys
808
1 351
218

Tailored Realities

Brandon Sanderson
537
1 010
1 182

Zákaznicí kteří koupili tuto knihu koupili také

227

Intermezzo

Sally Rooney
413
391

La fada negra

XAVIER THEROS
662
984
281
278