Logic-Based Program Synthesis and Transformation
23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers
Produktform: Buch / Einband - flex.(Paperback)
Noch Fragen? 0800 / 33 82 637
Produktform: Buch / Einband - flex.(Paperback)