Menu
Zjistit stav objednávky
Kontaktujte nás
Kniha 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
Jazyk: Angličtina
Vazba: Brožovaná
Vydavatel: Springer International Publishing AG
Dostupnost: Skladem u dodavatele v malém množství
Odesíláme za 13-18 dnů
1 311 Kč
This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Softwar...

Informace o knize

Autor
Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar
Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2017
Stránek
107
EAN
9783319542911
ISBN
3319542915
Enbook ID
15802752
Vydavatel
Springer International Publishing AG
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

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

Gadfly Books
145 Kč

Creating Guided Meditations for Yourself and Others

Alfred Willowhawk
230 Kč

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

Don Cameron Allen
1 002 Kč

When I Was a Boy

DE BLAUWER KATRIEN
1 139 Kč

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
600 Kč

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

Katrina Rodabaugh
551 Kč

Mining and Farming in Minecraft

Josh Gregory
641 Kč

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

Peter Kellet
1 537 Kč

He Went for a Soldier

JOHN STRANGE WINTER
686 Kč

Stones of Christ Church

Judith (Archivist) Curthoys
808 Kč

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

Hugh Hutton Stannus
496 Kč

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

F. Matthias Alexander
770 Kč

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

LADYBIRD
100 Kč

Concise History of Veterinary Medicine

Susan D. Jones
2 253 Kč

Kentucky Anthology

Wade Hall
1 351 Kč

Understanding Financial Risk Management, Third Edition

Corelli
1 742 Kč

Cajal. El arte de la ciencia.

983 Kč

The 31st Consort, Vol. 1

Momotomoe
218 Kč

Medical Romance June 2016 Books 1-6

Robin Gianna
492 Kč

Tailored Realities

Brandon Sanderson
537 Kč

Anti-Aircrafft Defence Against Low-Flying Enemy Aircraft

C. H. B. Pridham
307 Kč

Food Protein Sources

N. W. Pirie
1 010 Kč

Crystal Field Effects in Metals and Alloys

A. Furrer
2 286 Kč

From Hegel to Nietzsche

Karl Lowith
1 182 Kč

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

Uysal Kiz

227 Kč

Mit dem Reisemobil über die Schweiz nach Frankreich und Spanien

Oliver Wozny
475 Kč

Intermezzo

Sally Rooney
413 Kč

Demencja. Podstawy

Innes Anthea
391 Kč

La fada negra

XAVIER THEROS
662 Kč

Le second enfer d'Etienne Dolet

Etienne Dolet
984 Kč

All'improvviso a New York

Melissa Hill
281 Kč

Soziale Akte, Sprechakte Und Textillokutionen

Armin Burkhardt
3 752 Kč

Shirayuki aux cheveux rouges - Tome 11

Sorata Akiduki
250 Kč

Congelación y calidad de la carne

Claude Genot
379 Kč

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

Reinhard Gailhofer
516 Kč

OPERACIÓ MISS BOMBÓ

CAT LE BLANC
278 Kč