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

Lecture Notes in Computer Science, nr. 7148

Editat de Viktor Kuncak et al.

12 ian 2012

Preț: 335^.90 lei 419^.86 lei

22-36 zile

-20%

Verified Software: Theorie, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers

Lecture Notes in Computer Science, nr. 8164

Editat de Ernie Cohen et al.

23 ian 2014

Preț: 328^.93 lei 411^.17 lei

43-57 zile

-20%

Computer Science - Theory and Applications: Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5675

Editat de Anna Frid et al.

28 iul 2009

Preț: 331^.86 lei 414^.82 lei

43-57 zile

-20%