Numerical Software Verification: 9th International Workshop, Nsv 2016, Toronto, On, Canada, July 17-18, 2016, Revised Se, (Paperback)
(No ratings yet)
Key item features
- Numerical Software Verification: 9th International Workshop, Nsv 2016, Toronto, On, Canada, July 17-18, 2016, Revised Se, (Paperback)
- Author: Springer
- ISBN: 9783319542911
- Format: Paperback
- Publication Date: 2017-02-17
- Page Count: 107
Specs
- Book formatPaperback
- Fiction/nonfictionNon-Fiction
- GenreComputing & Internet
- Pub date20170217
- Pages107
- SubgenreProgramming
Current price is USD$54.99
Price when purchased online
- Free shipping
Free 90-day returns
How do you want your item?
Try 30 days of Free Shipping with Walmart+! Choose plan at checkout.
Columbus, 43215
Arrives by Sat, Apr 4
Sold and shipped by Walmart.com
Free 90-day returns
This item is gift eligible
Get free delivery, shipping and more*
*Restrictions apply Try Walmart+ now
About this item
Product details
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.
- Numerical Software Verification: 9th International Workshop, Nsv 2016, Toronto, On, Canada, July 17-18, 2016, Revised Se, (Paperback)
- Author: Springer
- ISBN: 9783319542911
- Format: Paperback
- Publication Date: 2017-02-17
- Page Count: 107
info:
We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here, and we have not verified it. Â
Specifications
Book format
Paperback
Fiction/nonfiction
Non-Fiction
Genre
Computing & Internet
Pub date
20170217
Similar items you might like
Based on what customers bought
Mesure de la performance des succursales: le cas des banques en Éthiopie, (Paperback) $56.00
$5600current price $56.00Mesure de la performance des succursales: le cas des banques en Éthiopie, (Paperback)
Reachability Problems: 8th International Workshop, Rp 2014, Oxford, Uk, September 22-24, 2014, Proceedings, (Paperback) $54.99
$5499current price $54.99Reachability Problems: 8th International Workshop, Rp 2014, Oxford, Uk, September 22-24, 2014, Proceedings, (Paperback)
Lecture Notes in Computer Science Agent-Oriented Software Engineering II: Second International Workshop, Aose 2001, Montreal, Canada, May 29, 2001. Revise, Book 2222, (Paperback) $50.94
$5094current price $50.94Lecture Notes in Computer Science Agent-Oriented Software Engineering II: Second International Workshop, Aose 2001, Montreal, Canada, May 29, 2001. Revise, Book 2222, (Paperback)
Graph Drawing: 17th International Symposium, GD 2009, Chicago, Il, Usa, September 22-25, 2009. Revised Papers, (Paperback) $54.99
$5499current price $54.99Graph Drawing: 17th International Symposium, GD 2009, Chicago, Il, Usa, September 22-25, 2009. Revised Papers, (Paperback)
Verified Software. Theories, Tools, and Experiments: 8th International Conference, Vstte 2016, Toronto, On, Canada, July, (Paperback) $54.99
$5499current price $54.99Verified Software. Theories, Tools, and Experiments: 8th International Conference, Vstte 2016, Toronto, On, Canada, July, (Paperback)
Numerical Software Verification: 10th International Workshop, Nsv 2017, Heidelberg, Germany, July 22-23, 2017, Proceedin, (Paperback) $54.99
$5499current price $54.99Numerical Software Verification: 10th International Workshop, Nsv 2017, Heidelberg, Germany, July 22-23, 2017, Proceedin, (Paperback)
Computer Aided Verification: 28th International Conference, Cav 2016, Toronto, On, Canada, July 17-23, 2016, Proceedings, (Paperback) $54.99
$5499current price $54.99Computer Aided Verification: 28th International Conference, Cav 2016, Toronto, On, Canada, July 17-23, 2016, Proceedings, (Paperback)
Communications in Computer and Informati Mobile Internet Security: First International Symposium, Mobisec 2016, Taichung, Taiwan, July 14-15, 2016, Revised Selec, Book 797, (Paperback) $54.99
$5499current price $54.99Communications in Computer and Informati Mobile Internet Security: First International Symposium, Mobisec 2016, Taichung, Taiwan, July 14-15, 2016, Revised Selec, Book 797, (Paperback)
Data Integration in the Life Sciences: Second International Workshop, Dils 2005, San Diego, Ca, Usa, July 20-22, 2005, P, (Paperback) $54.99
$5499current price $54.99Data Integration in the Life Sciences: Second International Workshop, Dils 2005, San Diego, Ca, Usa, July 20-22, 2005, P, (Paperback)
Combinatorial Optimization: 6th International Symposium, Isco 2020, Montreal, Qc, Canada, May 4-6, 2020, Revised Selecte, (Paperback) $54.99
$5499current price $54.99Combinatorial Optimization: 6th International Symposium, Isco 2020, Montreal, Qc, Canada, May 4-6, 2020, Revised Selecte, (Paperback)
Lecture Notes in Computer Science Numerical Software with Result Verification: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 20, Book 2991, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Numerical Software with Result Verification: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 20, Book 2991, (Paperback)
IFIP Advances in Information and Communi Trust Management XII: 12th Ifip Wg 11.11 International Conference, Ifiptm 2018, Toronto, On, Canada, July 10-13, 2018, P, Book 528, (Paperback) $54.99
$5499current price $54.99IFIP Advances in Information and Communi Trust Management XII: 12th Ifip Wg 11.11 International Conference, Ifiptm 2018, Toronto, On, Canada, July 10-13, 2018, P, Book 528, (Paperback)
Automated Technology for Verification and Analysis: 12th International Symposium, Atva 2014, Sydney, Australia, November, (Paperback) $54.99
$5499current price $54.99Automated Technology for Verification and Analysis: 12th International Symposium, Atva 2014, Sydney, Australia, November, (Paperback)
Image Analysis and Recognition: 16th International Conference, Iciar 2019, Waterloo, On, Canada, August 27-29, 2019, Pro, (Paperback) $54.99
$5499current price $54.99Image Analysis and Recognition: 16th International Conference, Iciar 2019, Waterloo, On, Canada, August 27-29, 2019, Pro, (Paperback)
Integer Programming and Combinatorial Optimization: 12th International Ipco Conference, Ithaca, Ny, Usa, June 25-27, 200, (Paperback) $54.99
$5499current price $54.99Integer Programming and Combinatorial Optimization: 12th International Ipco Conference, Ithaca, Ny, Usa, June 25-27, 200, (Paperback)
Formal Methods Teaching: Third International Workshop and Tutorial, Fmtea 2019, Held as Part of the Third World Congress, (Paperback) $54.99
$5499current price $54.99Formal Methods Teaching: Third International Workshop and Tutorial, Fmtea 2019, Held as Part of the Third World Congress, (Paperback)
Algorithmic Learning Theory: 26th International Conference, Alt 2015, Banff, Ab, Canada, October 4-6, 2015, Proceedings, (Paperback) $54.99
$5499current price $54.99Algorithmic Learning Theory: 26th International Conference, Alt 2015, Banff, Ab, Canada, October 4-6, 2015, Proceedings, (Paperback)
Communications in Computer and Informati Mathematics and Computing: 4th International Conference, ICMC 2018, Varanasi, India, January 9-11, 2018, Revised Selecte, Book 834, (Paperback) $54.99
$5499current price $54.99Communications in Computer and Informati Mathematics and Computing: 4th International Conference, ICMC 2018, Varanasi, India, January 9-11, 2018, Revised Selecte, Book 834, (Paperback)
Rough Sets, Fuzzy Sets, Data Mining and Granular Computing: 11th International Conference, RSFDGrC 2007, Toronto, Canada, (Paperback) $54.99
$5499current price $54.99Rough Sets, Fuzzy Sets, Data Mining and Granular Computing: 11th International Conference, RSFDGrC 2007, Toronto, Canada, (Paperback)
Algorithms and Data Structures: 9th International Workshop, WADS 2005, Waterloo, Canada, August 15-17, 2005, Proceedings, (Paperback) $54.99
$5499current price $54.99Algorithms and Data Structures: 9th International Workshop, WADS 2005, Waterloo, Canada, August 15-17, 2005, Proceedings, (Paperback)
Customer ratings & reviews
0 ratings|0 reviews
This item does not have any reviews yet
