Code: 24340163
Numerical Software Verification
by Damien Zufferey
This book constitutes the proceedings of the 12th International Workshop on Numerical Software Verification, NSV 2019, held in New York City, NY, USA, in July 2019 - colocated with the International Conference on Computer Aided Ve ... more
- Language:
English - Binding: Paperback
- Number of pages: 145
Publisher: Springer Nature Switzerland AG, 2019
- More about this
51.62 €
RRP: 55.89 €
You save 4.28 €
In stock at our supplier
Shipping in 5 - 8 days
You might also like
-
Tiki
20.90 € -29 % -
Sen o městě obehnaném zdí
6.15 € -16 % -
Berlitz Pocket Guide Egypt Red Sea Coast (Travel Guide)
12.11 € -
The Bible / Библијата - The First Book of Moses (Genesis) / Првата книга на Мојсеј (Битие)
14.84 € -1 % -
Citizen Science
55.86 € -
Zasady wychowania narodowego
2.72 € -4 % -
Foix i el seu temps
11.61 € -
Beyonce
14.03 € -7 % -
Almanach Côtier Sud Loire 2019
19.49 € -
Ausweitung der Markenzone
47.17 € -6 % -
Versuche der Berichtigung von Ulpiani Fragmenta
22.32 € -11 % -
Activating God's Power in Jan: Overcome and be transformed by accessing God's power.
9.79 € -6 % -
Points de fuite 1933-1994 T2
12.52 € -
Análisis del agua potable
54.24 € -14 % -
Python for Secret Agents
29.19 € -2 % -
Java and the Mobile Environment
14.44 € -14 % -
VDM sur ordonnance
18.28 € -
Descriptiv List of Novels and Tales Dealing with History of North America
15.25 € -14 % -
Szcenárió készítés
66.57 € -14 % -
Intelligent Autonomous Systems 12
359.26 € -7 % -
Die hoefische Liebe im Horizont der erotischen Diskurse des Mittelalters und der Fruhen Neuzeit
119.01 € -4 % -
Eden Versus Whistler
15.25 € -14 % -
Lyrics of the hearthside (1899). By: Paul Laurence Dunbar: Poetry (World's classic's)
8.68 € -6 % -
101 Ways To Make $1000 Quickly - A Proven collection of income generating ideas
7.26 € -6 % -
History of England
38.18 € -1 % -
LAMPARA ADHESIVA MAFALDA
12.52 € -
The Fasting Plan: Use Intermittent Fasting to Get Lean and Stay Lean Forever
12.32 € -7 % -
History of the Invasion of Switzerland by the French, and the Destruction of the Democratical Republics of Schwitz, Uri, and Unterwalden. Translated f
24.24 € -25 %
Give this book as a present today
- Order book and choose Gift Order.
- We will send you book gift voucher at once. You can give it out to anyone.
- Book will be send to donee, nothing more to care about.
More about Numerical Software Verification
You get 125 loyalty points
Book synopsis
This book constitutes the proceedings of the 12th International Workshop on Numerical Software Verification, NSV 2019, held in New York City, NY, USA, in July 2019 - colocated with the International Conference on Computer Aided Verification, CAV 2019.
Book details
51.62 €
- Full title: Numerical Software Verification
- Author: Damien Zufferey
- Language: English
- Binding: Paperback
- Number of pages: 145
- EAN: 9783030284220
- ISBN: 3030284220
- ID: 24340163
- Publisher: Springer Nature Switzerland AG
- Weight: 454 g
- Dimensions: 235 × 155 × 10 mm
- Date of publishing: 03. August 2019
Trending among others
-
Moonwalk
14.03 € -14 % -
The Score
13.73 € -12 % -
The Deal
12.32 € -21 % -
The Mistake
14.44 € -
Jujutsu Kaisen, Vol. 30
9.39 € -24 % -
The Goal
14.54 € -7 % -
Berserk Deluxe Volume 1
35.65 € -25 % -
Invincible Compendium Volume 2
48.18 € -21 % -
Berserk Deluxe Volume 2
33.13 € -30 % -
Legacy
11.91 € -24 % -
Lord of Mysteries, Vol. 3: The Clown, Part III
15.04 € -28 % -
Murdoku
14.74 € -34 % -
Witch Hat Atelier: Grimoire Edition 1
43.53 € -30 % -
JoJo's Bizarre Adventure: Part 7--Steel Ball Run, Vol. 7
18.18 € -25 % -
Jujutsu Kaisen, Vol. 25
8.48 € -31 % -
Witch Hat Atelier Manga Box Set 1
51.21 € -31 % -
Heated Rivalry
12.52 € -7 % -
Jujutsu Kaisen, Vol. 26
9.29 € -25 % -
The Deal
13.73 € -26 % -
Moonwalk: A Memoir
19.99 € -30 % -
Berserk Deluxe Volume 3
55.05 € -
White Nights
4.54 € -14 % -
Jujutsu Kaisen, Vol. 29
9.89 € -20 % -
Invincible Compendium Volume 1
48.18 € -21 % -
Veil Volume 1
13.12 € -22 % -
Murdoku
14.64 € -22 % -
Invincible Compendium Volume 3
48.18 € -21 % -
Chainsaw Man, Vol. 21
9.89 € -20 % -
Yesteryear
16.05 € -24 % -
Berserk Deluxe Volume 5
54.75 € -
The Long Game
12.21 € -10 % -
Boys Omnibus Vol. 1 TPB
31.61 € -26 % -
The Ballad of Falling Dragons
14.13 € -14 % -
The Summer Hikaru Died, Vol. 7
11.91 € -21 % -
Jujutsu Kaisen, Vol. 1
12.62 € -2 % -
Jujutsu Kaisen, Vol. 28
9.69 € -25 % -
Berserk Deluxe Volume 4
43.53 € -17 % -
Project Hail Mary
10.60 € -14 % -
The Mistake
13.83 € -26 % -
The Score
14.64 € -22 % -
Lord of Mysteries, Vol. 1: The Clown, Part I
16.05 € -21 % -
Invincible Volume 1
10.40 € -21 % -
Starside (Deluxe Limited Edition)
23.63 € -29 % -
Jujutsu Kaisen, Vol. 2
8.48 € -31 % -
The Courage To Be Disliked
10.70 € -13 % -
Jojo's Bizarre Adventure: Part 7--Steel Ball Run, Vol. 1
18.28 € -24 % -
Jojo's Bizarre Adventure: Part 7--Steel Ball Run, Vol. 2
18.88 € -22 % -
Veil Volume 2
12.01 € -25 % -
King of Gluttony
10.09 € -25 %
Shopping guide
Books by language
Collection points Bratislava a 12927 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
25858 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)