Numerical Software Verification

10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Nonfiction, Computers, Programming, Software Development, General Computing
Big bigCover of Numerical Software Verification

More books from Springer International Publishing

bigCover of the book New Frontiers in Information and Production Systems Modelling and Analysis by
bigCover of the book Contemporary Issues in African Society by
bigCover of the book The Boka Kotorska Bay Environment by
bigCover of the book Space and Quantification in Languages of China by
bigCover of the book Britannia 1066-1884 by
bigCover of the book SDL 2017: Model-Driven Engineering for Future Internet by
bigCover of the book Psychological Trauma and the Legacies of the First World War by
bigCover of the book Perspectives on Pragmatics and Philosophy by
bigCover of the book Macro Innovation Dynamics and the Golden Age by
bigCover of the book The Changing Dynamics of Bisexual Men's Lives by
bigCover of the book Computational Psychiatry by
bigCover of the book Qualitative Methodologies in Organization Studies by
bigCover of the book Real-life Applications with Membrane Computing by
bigCover of the book KI 2017: Advances in Artificial Intelligence by
bigCover of the book Sexualities and Genders in Education by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy