Numerical Software Verification: 12th International Workshop, NSV 2019, New York City, NY, USA, July 13?14, 2019, Proceedings: 11652 (Lecture Notes in Computer Science)
Language: English
Published by Springer 01/g /03 A, 2019
- Softcover
- Used
Seller: Bahamut Media, Reading, United KingdomBahamut Media
AbeBooks seller since August 15, 2012
Condition: Used - Very good
US$ 13.63
Quantity: 1 available
Add to basketItem description from seller
Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee.
Seller Inventory # 6545-9783030284220
- Title
- Numerical Software Verification: 12th International Workshop, NSV 2019, New York City, NY, USA, July 13?14, 2019, Proceedings: 11652 (Lecture Notes in Computer Science)
- Author
- Majid Zamani, Damien Zufferey
- Publisher
- Springer 01/g /03 A
- Publication year
- 2019
- Condition
- Very Good
- Binding
- Paperback
- Language
- English
- ISBN 10
- 3030284220
- ISBN 13
- 9783030284220
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.
The 5 full papers presented together with 2 short papers, 3 abstracts of invited talks, and 2 tutorial papers were carefully reviewed and selected from numerous submissions.
The NSV 2017 workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.
"Synopsis" may belong to another edition of this title.
Bahamut Media
Reading, United Kingdom
AbeBooks seller since August 15, 2012
Shipping rates from United Kingdom to U.S.A.
| Item | 4 to 15 business days | 4 to 15 business days |
|---|---|---|
| First item | US$ 9.25 | US$ 9.25 |
Payment methods
Seller's business information
WRAP Ltd
Unit 4, 119 Loverock Rd
Reading, United Kingdom RG30 1DZ
Terms of sale
We guarantee the condition of every book as it's described
on the Abebooks web sites. If you're dissatisfied with your
purchase (Incorrect Book/Not as Described/Damaged) or if the
order hasn't arrived, you're eligible for a refund within 30
days of the estimated delivery date. If you've changed your
mind about a book that you've ordered, please use the Ask
bookseller a question link to contact us and we'll respond
within 2 business days.
Shipping terms
All books will normally be shipped within 1 working day of being ordered. We provide the best shipping rates we can to each country and you can rest assured that if you are not happy with anything you receive, you have a 100% money-back guarantee with us.