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 11.49 €
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.53 €
Low in stock at our supplier Shipping in 13-18 days

30-day return policy

Customers also purchased

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

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.17 €
Stones of Christ Church Judith (Archivist) Curthoys / Book Hardback
common.buy 38.68 €
When I Was a Boy DE BLAUWER KATRIEN / Book Hardback
common.buy 48.50 €
Arboretum America Diana Beresford-Kroeger / Book Paperback
common.buy 26.83 €
Mending Matters: Stitch, Patch, and Repair Your Favorite Denim & More Katrina Rodabaugh / Book Hardback
common.buy 26.83 €
Mining and Farming in Minecraft Josh Gregory / Book Hardback
common.buy 28.96 €
Transforming Conflict through Communication in Personal, Family, and Working Relationships Peter Kellet / Book Paperback
common.buy 68.36 €
He Went for a Soldier JOHN STRANGE WINTER / Book Hardback
common.buy 30.78 €
My Boring Meeting Survival Guide & Notes Volume I: 6x9 Meeting Notebook and Puzzle Book Gadfly Books / Book Paperback
common.buy 6.47 €
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.93 €
Mans Supreme Inheritance: Conscious Guidance and Control in Relation to Human Evolution in Civilization F. Matthias Alexander / Book Paperback
common.buy 34.53 €
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.77 €
Kentucky Anthology Wade Hall / E-book Adobe ePub DRM
common.buy 57.21 €
Understanding Financial Risk Management, Third Edition Corelli / Book Paperback
common.buy 77.57 €
Cajal. El arte de la ciencia. / Book Hardback
common.buy 41.92 €
The 31st Consort, Vol. 1 Momotomoe / Book Paperback
common.buy 10.62 €
Medical Romance June 2016 Books 1-6 Robin Gianna / E-book Adobe ePub DRM
common.buy 20.85 €
Tailored Realities Brandon Sanderson / Book Hardback
common.buy 26.53 €
Anti-Aircrafft Defence Against Low-Flying Enemy Aircraft C. H. B. Pridham / Book Paperback
common.buy 13.76 €
Food Protein Sources N. W. Pirie / Book Paperback
common.buy 45.16 €
Crystal Field Effects in Metals and Alloys A. Furrer / Book Paperback
common.buy 103.10 €
A SURVEY OF GREEK CIVILIZATION JOHN PENTLA MAHAFFY / Book Hardback
common.buy 34.53 €
Summer Stock Phipps-J / Book Hardback
common.buy 21.66 €

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?