Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers
Editat de Manuel V Hermenegildo et al.
25 iul 2017
Paperback
Preț: 336.54 lei 420.67 lei
6-8 săpt.
-20%