Cărți de Moreno Falaschi

Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

Lecture Notes in Computer Science, nr. 9527

Editat de Moreno Falaschi

17 dec 2015

Preț: 330^.87 lei 413^.58 lei

43-57 zile

-20%

Static Analysis: Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings

Lecture Notes in Computer Science, nr. 724

Editat de Patrick Cousot et al.

8 sep 1993

Preț: 326^.03 lei 407^.54 lei

43-57 zile

-20%