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ț: 333^.03 lei 416^.28 lei

3-5 săpt.

-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ț: 326^.13 lei 407^.66 lei

6-8 săpt.

-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ț: 329^.03 lei 411^.29 lei

6-8 săpt.

-20%