Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings
Editat de Radhia Cousot et al.
9 sep 2010
Paperback
Preț: 330.70 lei 413.37 lei
3-5 săpt.
-20%
Cărți de Matthieu Martel
Numerical Software Verification: 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Editat de Sergiy Bogomolov et al.
17 feb 2017
Paperback
Preț: 311.33 lei 389.15 lei
6-8 săpt.
-20%