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
Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.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 148 b
60.39 € VAT included
Low in stock at our supplier Shipping in 13-18 days
Austria Delivery to Austria

30-day return policy

Customers also purchased

Mit dem Reisemobil über die Schweiz nach Frankreich und Spanien Oliver Wozny / Book Paperback
common.buy 23.95 €
Intermezzo Sally Rooney / Book Sheet
common.buy 18.69 €
Demencja. Podstawy Innes Anthea / Book Paperback
common.buy 17.19 €
Le second enfer d'Etienne Dolet Etienne Dolet / Book Hardback
common.buy 46.59 €
Uysal Kiz / Book Paperback
common.buy 10.59 €
Soziale Akte, Sprechakte Und Textillokutionen Armin Burkhardt / Book Hardback
common.buy 175.59 €
Logbuch für Venedig oder Bündnis Christine de Pizan Reinhard Gailhofer / Book Paperback
common.buy 25.99 €
OPERACIÓ MISS BOMBÓ CAT LE BLANC / Book Hardback
common.buy 12.29 €
All'improvviso a New York Melissa Hill / Book Paperback
common.buy 12.49 €
La fada negra XAVIER THEROS / Book Paperback
common.buy 31.09 €

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

History Of The Origin Of The Doctrine Of The Trinity In The Christian Church (1883) Hugh Hutton Stannus / Book Paperback
common.buy 22.99 €
Stones of Christ Church Judith (Archivist) Curthoys / Book Hardback
common.buy 37.99 €
When I Was a Boy DE BLAUWER KATRIEN / Book Hardback
common.buy 49.99 €
Mending Matters: Stitch, Patch, and Repair Your Favorite Denim & More Katrina Rodabaugh / Book Hardback
common.buy 28.19 €
Mining and Farming in Minecraft Josh Gregory / Book Hardback
common.buy 30.19 €
Transforming Conflict through Communication in Personal, Family, and Working Relationships Peter Kellet / Book Paperback
common.buy 70.19 €
He Went for a Soldier JOHN STRANGE WINTER / Book Hardback
common.buy 31.79 €
My Boring Meeting Survival Guide & Notes Volume I: 6x9 Meeting Notebook and Puzzle Book Gadfly Books / Book Paperback
common.buy 6.69 €
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 27.89 €
Mans Supreme Inheritance: Conscious Guidance and Control in Relation to Human Evolution in Civilization F. Matthias Alexander / Book Paperback
common.buy 35.79 €
Key Words with Peter and Jane Level 3b - We Can Fix It! LADYBIRD / Book Hardback
common.buy 4.79 €
Concise History of Veterinary Medicine Susan D. Jones / Book Hardback
common.buy 104.09 €
Kentucky Anthology Wade Hall / E-book Adobe ePub DRM
common.buy 59.39 €
Understanding Financial Risk Management, Third Edition Corelli / Book Paperback
common.buy 79.79 €
Cajal. El arte de la ciencia. / Book Hardback
common.buy 43.49 €
The 31st Consort, Vol. 1 Momotomoe / Book Paperback
common.buy 11.19 €
Medical Romance June 2016 Books 1-6 Robin Gianna / E-book Adobe ePub DRM
common.buy 21.69 €
Tailored Realities Brandon Sanderson / Book Hardback
common.buy 27.89 €
Anti-Aircrafft Defence Against Low-Flying Enemy Aircraft C. H. B. Pridham / Book Paperback
common.buy 14.19 €
Food Protein Sources N. W. Pirie / Book Paperback
common.buy 46.69 €
Crystal Field Effects in Metals and Alloys A. Furrer / Book Paperback
common.buy 107.29 €
A SURVEY OF GREEK CIVILIZATION JOHN PENTLA MAHAFFY / Book Hardback
common.buy 35.79 €
Summer Stock Phipps-J / Book Hardback
common.buy 22.69 €
Complete Illustrated Guide to Beading & Making Jewellery Ann Kay / Book Hardback
common.buy 16.89 €

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?