Runtime Verification
Editat de Shaz Qadeer et al.
11 ian 2013
Paperback
Preț: 323.02 lei 403.77 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ț: 345.88 lei 432.35 lei
43-57 zile | 5-11 zile
-20%