Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
Editat de Shaz Qadeer et al.
11 ian 2013
Paperback
Preț: 328.79 lei 410.98 lei
6-8 săpt.
-20%
Cărți de Shaz Qadeer
Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings
Editat de Ganesh Gopalakrishnan et al.
5 iul 2011
Paperback
Preț: 350.51 lei 438.14 lei
6-8 săpt.
-20%