Code: 15802752

Numerical Software Verification

Name: Numerical Software Verification
Brand: Springer International Publishing AG
SKU: 15802752
Price: 55.73 EUR
Availability: InStock
Author: Sergiy Bogomolov
ISBN: 9783319542911

by Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar

Language: English
Binding: Paperback
Number of pages: 107
Publisher: Springer International Publishing AG, 2017
More about this

55.73 €

Low in stock at our supplier
Shipping in 13 - 18 days

Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.

Add to wishlist

Tailored Realities
26.54 € -24 %
Buy
Mending Matters: Stitch, Patch, and Repair Your Favorite Denim & More
23.52 € -29 %
Buy
The 31st Consort, Vol. 1
9.99 € -24 %
Buy
Intermezzo
17.15 € -16 %
Buy
Complete Illustrated Guide to Beading & Making Jewellery
16.04 € -24 %
Buy
Understanding Financial Risk Management, Third Edition
74.10 €
Buy
From Hegel to Nietzsche
50.27 €
Buy
Key Words with Peter and Jane Level 3b - We Can Fix It!
4.53 € -25 %
Buy
Demencja. Podstawy
16.65 €
Buy
Creating Guided Meditations for Yourself and Others
9.78 € -6 %
Buy
Soziale Akte, Sprechakte Und Textillokutionen
168.41 € -4 %
Buy
When I Was a Boy
48.46 €
Buy
Concise History of Veterinary Medicine
95.81 €
Buy
Mining and Farming in Minecraft
28.87 € -9 %
Buy
Summer Stock
20.28 € -24 %
Buy
The Star-Crossed Renaissance: The Quarrel About Astrology And Its Influence In England
42.60 € -2 %
Buy
Anti-Aircrafft Defence Against Low-Flying Enemy Aircraft
13.01 € -2 %
Buy
Crystal Field Effects in Metals and Alloys
102.78 € -7 %
Buy
Food Protein Sources
42.90 €
Buy
Anthony Munday and Civic Culture
31.19 € -9 %
Buy
My Boring Meeting Survival Guide & Notes Volume I: 6x9 Meeting Notebook and Puzzle Book
6.15 € -6 %
Buy
Stones of Christ Church
38.36 € -19 %
Buy
Transforming Conflict through Communication in Personal, Family, and Working Relationships
65.42 €
Buy
Mans Supreme Inheritance: Conscious Guidance and Control in Relation to Human Evolution in Civilization
32.70 € -2 %
Buy
A SURVEY OF GREEK CIVILIZATION
32.70 € -2 %
Buy
Le second enfer d'Etienne Dolet
44.42 € -14 %
Buy
Cajal. El arte de la ciencia.
41.79 €
Buy
Mit dem Reisemobil über die Schweiz nach Frankreich und Spanien
21.40 € -11 %
Buy
Uysal Kiz
10.19 € -4 %
Buy
History Of The Origin Of The Doctrine Of The Trinity In The Christian Church (1883)
21.09 € -1 %
Buy
He Went for a Soldier
29.17 € -1 %
Buy
All'improvviso a New York
11.90 €
Buy
La fada negra
29.78 € -9 %
Buy
Logbuch für Venedig oder Bündnis Christine de Pizan
23.31 € -11 %
Buy
Ecclesiastical Tracts Formerly Published
24.93 € -24 %
Buy

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.

Book gift voucher sample Read more

More about Numerical Software Verification

Book details
Synopsis
Trending among others

You get 135 loyalty points

Book synopsis

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.

Book details

Book category Books in English Computing & information technology Computer hardware Network hardware

55.73 €

Full title: Numerical Software Verification
Subtitle: 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Author: Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar
Language: English
Binding: Paperback
Number of pages: 107
EAN: 9783319542911
ISBN: 3319542915
ID: 15802752
Publisher: Springer International Publishing AG
Weight: 1883 g
Dimensions: 235 × 155 × 7 mm
Date of publishing: 17. February 2017