Book serie: / Книги серии: SpringerLink : Bücher,Lecture notes in computer science 10381 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: SpringerLink : Bücher,Lecture notes in computer science 10381

book Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

pdf

Author: Abate Alessandro, Boldo Sylvie
Language: English
Year: 2017

00

29.01.2024

0

0