Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Editat de Elvira Albert
3 mai 2013
Paperback
Preț: 407.76 lei 479.72 lei
43-57 zile
-15%