Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
Editat de Germán Vidal
20 oct 2012
Paperback
Preț: 418.95 lei 523.69 lei
43-57 zile
-20%