Cărți de Andrey Rybalchenko

Verified Software: Theorie, Tools, Experiments

Editat de Ernie Cohen et al.

23 ian 2014

Preț: 325^.44 lei 406^.80 lei

6-8 săpt.

-20%

Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7148

Editat de Viktor Kunčak et al.

12 ian 2012

Preț: 329^.74 lei 412^.17 lei

3-5 săpt.

-20%

Computer Science - Theory and Applications

Editat de Anna Frid et al.

28 iul 2009

Preț: 326^.47 lei 408^.09 lei

6-8 săpt.

-20%