|
Books > Computing & IT > Applications of computing > Artificial intelligence
|
Buy Now
Numerical Software Verification - 12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019, Proceedings (Paperback, 1st ed. 2019)
Loot Price: R1,408
Discovery Miles 14 080
|
|
|
Numerical Software Verification - 12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019, Proceedings (Paperback, 1st ed. 2019)
Series: Lecture Notes in Computer Science, 11652
Expected to ship within 18 - 22 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
