Numerical Software Verification: 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers - Lecture Notes in Computer Science - - Books - Springer International Publishing AG - 9783319542911 - February 17, 2017
In case cover and title do not match, the title is correct

Numerical Software Verification: 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers - Lecture Notes in Computer Science 1st ed. 2017 edition

Price
HK$ 516
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 1 - 13

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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.

107 pages, 21 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released February 17, 2017
ISBN13 9783319542911
Publishers Springer International Publishing AG
Pages 107
Dimensions 155 × 235 × 6 mm   ·   1.88 kg
Editor Bogomolov, Sergiy
Editor Martel, Matthieu
Editor Prabhakar, Pavithra

Mere med samme udgiver