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
Free delivery for purchases over 19 990 Ft
DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 145 b
21 311 Ft
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 8 338 Ft
Intermezzo Sally Rooney / Book Sheet
common.buy 6 346 Ft
Demencja. Podstawy Innes Anthea / Book Paperback
common.buy 5 907 Ft
Le second enfer d'Etienne Dolet Etienne Dolet / Book Hardback
common.buy 17 267 Ft
Uysal Kiz / Book Paperback
common.buy 3 929 Ft
Soziale Akte, Sprechakte Und Textillokutionen Armin Burkhardt / Book Hardback
common.buy 64 854 Ft
Logbuch für Venedig oder Bündnis Christine de Pizan Reinhard Gailhofer / Book Paperback
common.buy 9 059 Ft
OPERACIÓ MISS BOMBÓ CAT LE BLANC / Book Hardback
common.buy 4 220 Ft
All'improvviso a New York Melissa Hill / Book Paperback
common.buy 4 252 Ft
La fada negra XAVIER THEROS / Book Paperback
common.buy 11 518 Ft

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 8 472 Ft
Stones of Christ Church Judith (Archivist) Curthoys / Book Hardback
common.buy 13 704 Ft
When I Was a Boy DE BLAUWER KATRIEN / Book Hardback
common.buy 17 193 Ft
Arboretum America Diana Beresford-Kroeger / Book Paperback
common.buy 10 464 Ft
Mending Matters: Stitch, Patch, and Repair Your Favorite Denim & More Katrina Rodabaugh / Book Hardback
common.buy 10 464 Ft
Mining and Farming in Minecraft Josh Gregory / Book Hardback
common.buy 11 166 Ft
Transforming Conflict through Communication in Personal, Family, and Working Relationships Peter Kellet / Book Paperback
common.buy 25 781 Ft
He Went for a Soldier JOHN STRANGE WINTER / Book Hardback
common.buy 11 726 Ft
My Boring Meeting Survival Guide & Notes Volume I: 6x9 Meeting Notebook and Puzzle Book Gadfly Books / Book Paperback
common.buy 2 491 Ft
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 10 288 Ft
Mans Supreme Inheritance: Conscious Guidance and Control in Relation to Human Evolution in Civilization F. Matthias Alexander / Book Paperback
common.buy 13 177 Ft
Key Words with Peter and Jane Level 3b - We Can Fix It! LADYBIRD / Book Hardback
common.buy 1 729 Ft
Concise History of Veterinary Medicine Susan D. Jones / Book Hardback
common.buy 38 343 Ft
Kentucky Anthology Wade Hall / E-book Adobe ePub DRM
common.buy 20 285 Ft
Understanding Financial Risk Management, Third Edition Corelli / Book Paperback
common.buy 29 344 Ft
Cajal. El arte de la ciencia. / Book Hardback
common.buy 14 859 Ft
The 31st Consort, Vol. 1 Momotomoe / Book Paperback
common.buy 4 146 Ft
Medical Romance June 2016 Books 1-6 Robin Gianna / E-book Adobe ePub DRM
common.buy 7 400 Ft
Tailored Realities Brandon Sanderson / Book Hardback
common.buy 10 011 Ft
Anti-Aircrafft Defence Against Low-Flying Enemy Aircraft C. H. B. Pridham / Book Paperback
common.buy 5 232 Ft
Food Protein Sources N. W. Pirie / Book Paperback
common.buy 17 193 Ft
Crystal Field Effects in Metals and Alloys A. Furrer / Book Paperback
common.buy 39 688 Ft
A SURVEY OF GREEK CIVILIZATION JOHN PENTLA MAHAFFY / Book Hardback
common.buy 13 177 Ft
Summer Stock Phipps-J / Book Hardback
common.buy 8 444 Ft

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?