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 FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 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

Language EnglishEnglish
Book Paperback
Book Numerical Software Verification Damien Zufferey
Libristo code: 24340163
Publishers Springer Nature Switzerland AG, August 2019
This book constitutes the proceedings of the 12th International Workshop on Numerical Software Verif... Full description
? points 136 b
19 902 Ft
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Ausweitung der Markenzone Kai-Uwe Hellmann / Book Paperback
common.buy 18 233 Ft
The Bible / Библијата - The First Book of Moses (Genesis) / Првата книга на Мојсеј (Битие) KJV / Book Paperback
common.buy 5 948 Ft
Zasady wychowania narodowego Zygmunt Balicki / Book Paperback
common.buy 980 Ft
Análisis del agua potable Mouloud Ghadbane / Book Paperback
common.buy 21 062 Ft
Almanach Côtier Sud Loire 2019 collegium / Book Paperback
common.buy 6 919 Ft
Points de fuite 1933-1994 T2 Albert Flocon / Book Paperback
common.buy 4 456 Ft
VDM sur ordonnance L'équipe Vie de Merde / Book Paperback
common.buy 6 480 Ft
Top
Sen o městě obehnaném zdí Fleischman Lisa Huang / Book Hardback
common.buy 2 288 Ft
Die hoefische Liebe im Horizont der erotischen Diskurse des Mittelalters und der Fruhen Neuzeit Walter Haug / Book Hardback
common.buy 45 817 Ft
Szcenárió készítés Ilosvai Péter / Book Paperback
common.buy 25 869 Ft
LAMPARA ADHESIVA MAFALDA QUINO / Book Paperback
common.buy 4 456 Ft
Foix i el seu temps Gabriel Ferrater i Soler / Book Paperback
common.buy 4 118 Ft

This book constitutes the proceedings of the 12th International Workshop on Numerical Software Verification, NSV 2019, held in New York City, NY, USA, in July 2019 - colocated with the International Conference on Computer Aided Verification, CAV 2019.

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 Damien Zufferey
Language English
Binding Book - Paperback
Date of issue 2019
Number of pages 145
EAN 9783030284220
ISBN 3030284220
Libristo code 24340163
Publishers Springer Nature Switzerland AG
Weight 454
Dimensions 155 x 235 x 10

Categories

Computing & Information Technology > Computer programming / software engineering
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

Java and the Mobile Environment Kelly Clarkson / Book Paperback
common.buy 5 597 Ft
Intelligent Autonomous Systems 12 Sukhan Lee / Book Paperback
common.buy 138 619 Ft
Assessing Dyslexia Becky Kennedy / Book Paperback
common.buy 24 228 Ft
The Fasting Plan: Use Intermittent Fasting to Get Lean and Stay Lean Forever Nick Holt / Book Paperback
common.buy 4 996 Ft
Top
Tiki Shannon Mustipher / Book Hardback
common.buy 9 013 Ft
Citizen Science Susanne Hecker / Book Paperback
common.buy 21 298 Ft
Activating God's Power in Jan: Overcome and be transformed by accessing God's power. Michelle Leslie / Book Paperback
common.buy 3 956 Ft
101 Ways To Make $1000 Quickly - A Proven collection of income generating ideas Dan Howe / Book Paperback
common.buy 2 916 Ft
Beyonce Marlow Jermaine Martin / Book Paperback
common.buy 5 703 Ft
Descriptiv List of Novels and Tales Dealing with History of North America William Maccrillis Griswold / Book Paperback
common.buy 5 921 Ft
History of England James Anthony Froude / Book Hardback
common.buy 15 345 Ft
Berlitz Pocket Guide Egypt Red Sea Coast (Travel Guide) APA Publications Limited / Book Paperback
common.buy 4 308 Ft
Python for Secret Agents Steven F Lott / Book Paperback
common.buy 11 740 Ft
History of the Invasion of Switzerland by the French, and the Destruction of the Democratical Republics of Schwitz, Uri, and Unterwalden. Translated f John Aikin / Book Paperback
common.buy 10 099 Ft
21st Century House Jonathan Bell / Book Paperback
common.buy 11 989 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?