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ț: 334.38 lei 417.97 lei
43-57 zile
-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ț: 356.50 lei 445.62 lei
43-57 zile
-20%