Numerical Software Verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

Name: Numerical Software Verification
Brand: Springer International Publishing AG
SKU: 9783319542911
Price: 8100 KES
Availability: OutOfStock
ISBN: 9783319542911

1st ed. 2017

Book Details

Format Paperback / softback

Book Series Lecture Notes in Computer Science

ISBN-10 3319542915

ISBN-13 9783319542911

Edition 1st ed. 2017

Publisher Springer International Publishing AG

Imprint Springer International Publishing AG

Country of Manufacture CH

Country of Publication GB

Publication Date Feb 17th, 2017

Print length 107 Pages

Product Classification: Digital and Information technology: general topics Information technology: general issues Network hardware Software Engineering Mathematical theory of computation Artificial intelligence Artificial intelligence (AI)

KSh 8,100.00

Currently unavailable 0 in stock

Delivery Location

County

Location

Delivery fee: Select location

Secure

Quality

Fast

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.

Get Numerical Software Verification by Matthieu Martel at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer International Publishing AG and it has 107 pages.