Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

Numerical Software Verification

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

Language EnglishEnglish
Book Paperback
Book Numerical Software Verification Sergiy Bogomolov
Libristo code: 15802752
Publishers Springer International Publishing AG, February 2017
This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Softwar... Full description
? points 141 b
58.57 €
Low in stock at our supplier Shipping in 13-18 days

Up to 30 days for returns

Customers also purchased

Demencja. Podstawy Innes Anthea / Book Paperback
common.buy 17.02 €
Le second enfer d'Etienne Dolet Etienne Dolet / Book Hardback
common.buy 44.58 €
Uysal Kiz / Book Paperback
common.buy 10.23 €
Intermezzo Sally Rooney / Book Sheet
common.buy 17.93 €
Mit dem Reisemobil über die Schweiz nach Frankreich und Spanien Oliver Wozny / Book Paperback
common.buy 21.48 €
Shirayuki aux cheveux rouges - Tome 11 Sorata Akiduki / Book Paperback
common.buy 10.43 €
De La Philosophie Corpusculaire: Ou, Des Connoissances Et Des Procedes Magnetiques (1785) Antoine Francois Delandine / Book Paperback
common.buy 26.95 €
Caracteres de La Bruyere: Suivis Des Caracteres de Theophraste (1847) Jean Geoffrey Schweighaeuser / Book Paperback
common.buy 42.15 €
Logbuch für Venedig oder Bündnis Christine de Pizan Reinhard Gailhofer / Book Paperback
common.buy 23.40 €
Soziale Akte, Sprechakte Und Textillokutionen Armin Burkhardt / Book Hardback
common.buy 169.03 €
OPERACIÓ MISS BOMBÓ CAT LE BLANC / Book Hardback
common.buy 10.73 €
Congelación y calidad de la carne Claude Genot / Book Paperback
common.buy 14.48 €
One Piece 61, El amanecer hacia la aventura del nuevo mundo Eiichiro Oda / Book Paperback
common.buy 9.21 €
All'improvviso a New York Melissa Hill / Book Paperback
common.buy 11.95 €
La fada negra XAVIER THEROS / Book Paperback
common.buy 29.89 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Numerical Software Verification
Author Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar
Language English
Binding Book - Paperback
Date of issue 2017
Number of pages 107
EAN 9783319542911
ISBN 3319542915
Libristo code 15802752
Publishers Springer International Publishing AG
Weight 1883
Dimensions 155 x 235 x 7

Categories

Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Databases > Information retrieval
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Artificial intelligence
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

The celibates' club; being the united stories of The Bachelors' Club and The Old Maids' Club.: By: I. Zangwill, Illustrated By: George (Wylie) Hutchin I Zangwill / Book Paperback
common.buy 18.03 €
Jones vs. Rector and Inhabitants of the City of Ne Anonymous / Book Paperback
common.buy 31.71 €
Creating Guided Meditations for Yourself and Others Alfred Willowhawk / Book Paperback
common.buy 10.33 €
The Star-Crossed Renaissance: The Quarrel About Astrology And Its Influence In England Don Cameron Allen / Book Hardback
common.buy 44.99 €
When I Was a Boy DE BLAUWER KATRIEN / Book Hardback
common.buy 48.43 €
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 / Book Hardback
common.buy 26.95 €
Mending Matters: Stitch, Patch, and Repair Your Favorite Denim & More Katrina Rodabaugh / Book Hardback
common.buy 26.85 €
Mining and Farming in Minecraft Josh Gregory / Book Hardback
common.buy 28.97 €
Transforming Conflict through Communication in Personal, Family, and Working Relationships Peter Kellet / Book Paperback
common.buy 62.82 €
He Went for a Soldier JOHN STRANGE WINTER / Book Hardback
common.buy 30.80 €
Coming soon
Stones of Christ Church Judith (Archivist) Curthoys / Book Hardback
common.buy 36.98 €
My Boring Meeting Survival Guide & Notes Volume I: 6x9 Meeting Notebook and Puzzle Book Gadfly Books / Book Paperback
common.buy 6.48 €
History Of The Origin Of The Doctrine Of The Trinity In The Christian Church (1883) Hugh Hutton Stannus / Book Paperback
common.buy 22.18 €
Mans Supreme Inheritance: Conscious Guidance and Control in Relation to Human Evolution in Civilization F. Matthias Alexander / Book Paperback
common.buy 34.55 €
Key Words with Peter and Jane Level 3b - We Can Fix It! LADYBIRD / Book Hardback
common.buy 4.55 €
Concise History of Veterinary Medicine Susan D. Jones / Book Hardback
common.buy 100.83 €
Kentucky Anthology Wade Hall / E-book Adobe ePub DRM
common.buy 58.26 €
Understanding Financial Risk Management, Third Edition Corelli / Book Paperback
common.buy 77.62 €
Cajal. El arte de la ciencia. / Book Hardback
common.buy 37.69 €
The 31st Consort, Vol. 1 Momotomoe / Book Paperback
common.buy 10.63 €
Medical Romance June 2016 Books 1-6 Robin Gianna / E-book Adobe ePub DRM
common.buy 20.97 €
Top
Tailored Realities Brandon Sanderson / Book Hardback
common.buy 26.44 €
Four letters of comforts for the deaths of the Earle of Hadingtoun and of the Lord Boyd Zacharie Boyd / Book Paperback
common.buy 11.75 €
Anthony Munday and Civic Culture Tracey Hill / Book Paperback
common.buy 33.03 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?