Verified Software: Theorie, Tools, Experiments
Editat de Ernie Cohen et al.
23 ian 2014
Paperback
Preț: 324.45 lei 405.57 lei
43-57 zile
-20%
Cărți de Andrey Rybalchenko
Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings
Editat de Viktor Kunčak et al.
12 ian 2012
Paperback
Preț: 329.74 lei 412.17 lei
22-36 zile
-20%
Computer Science - Theory and Applications: Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009, Proceedings
Editat de Anna Frid et al.
28 iul 2009
Paperback
Preț: 325.79 lei 407.24 lei
43-57 zile
-20%