Menu
Sprawdź status swojego zamówienia
Skontaktuj się z nami
Książka Numerical Software Verification Sergiy Bogomolov

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
Język: Angielski
Oprawa: Miękka
Wydawca: Springer International Publishing AG
Dostępność: Dostępna u dostawcy w małych ilościach
Wysyłamy za 13-18 dni
242.30 zł
This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Softwar...

Informacje o książce

Autor
Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar
Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2017
strony
107
EAN
9783319542911
ISBN
3319542915
Enbook ID
15802752
Wydawca
Springer International Publishing AG
Waga
1883
Wymiary
155 x 235 x 7

Pełny opis

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.

Możesz być zainteresowany

My Boring Meeting Survival Guide & Notes Volume I: 6x9 Meeting Notebook and Puzzle Book

Gadfly Books
26.89 zł

Creating Guided Meditations for Yourself and Others

Alfred Willowhawk
42.80 zł

The Star-Crossed Renaissance: The Quarrel About Astrology And Its Influence In England

Don Cameron Allen
186.14 zł

When I Was a Boy

DE BLAUWER KATRIEN
201.17 zł

Sentiments of the Professors of Physick, in the Foreign Universities, Concerning the Operations and Method of Curing the Diseases Incident to the eye,

John Taylor
111.53 zł

Mending Matters: Stitch, Patch, and Repair Your Favorite Denim & More

Katrina Rodabaugh
111.23 zł

Mining and Farming in Minecraft

Josh Gregory
119.97 zł

Transforming Conflict through Communication in Personal, Family, and Working Relationships

Peter Kellet
283.15 zł

He Went for a Soldier

JOHN STRANGE WINTER
127.33 zł

Stones of Christ Church

Judith (Archivist) Curthoys
153.06 zł

History Of The Origin Of The Doctrine Of The Trinity In The Christian Church (1883)

Hugh Hutton Stannus
91.99 zł

Mans Supreme Inheritance: Conscious Guidance and Control in Relation to Human Evolution in Civilization

F. Matthias Alexander
142.95 zł

Key Words with Peter and Jane Level 3b - We Can Fix It!

LADYBIRD
18.84 zł

Concise History of Veterinary Medicine

Susan D. Jones
417.27 zł

Kentucky Anthology

Wade Hall
238.67 zł

Understanding Financial Risk Management, Third Edition

Corelli
321.34 zł

Cajal. El arte de la ciencia.

173.58 zł

The 31st Consort, Vol. 1

Momotomoe
44.17 zł

Medical Romance June 2016 Books 1-6

Robin Gianna
86.88 zł

Tailored Realities

Brandon Sanderson
109.86 zł

Anti-Aircrafft Defence Against Low-Flying Enemy Aircraft

C. H. B. Pridham
56.93 zł

Food Protein Sources

N. W. Pirie
187.13 zł

Crystal Field Effects in Metals and Alloys

A. Furrer
427.08 zł

From Hegel to Nietzsche

Karl Lowith
217.86 zł

Klienci, którzy kupili tę książkę, kupili również

Uysal Kiz

42.31 zł

Mit dem Reisemobil über die Schweiz nach Frankreich und Spanien

Oliver Wozny
89.14 zł

Intermezzo

Sally Rooney
74.22 zł

Demencja. Podstawy

Innes Anthea
55.86 zł

La fada negra

XAVIER THEROS
123.70 zł

Le second enfer d'Etienne Dolet

Etienne Dolet
184.57 zł

All'improvviso a New York

Melissa Hill
47.31 zł

Soziale Akte, Sprechakte Und Textillokutionen

Armin Burkhardt
699.74 zł

Shirayuki aux cheveux rouges - Tome 11

Sorata Akiduki
44.17 zł

Congelación y calidad de la carne

Claude Genot
66.95 zł

Logbuch für Venedig oder Bündnis Christine de Pizan

Reinhard Gailhofer
96.80 zł

OPERACIÓ MISS BOMBÓ

CAT LE BLANC
49.18 zł