Logic-Based Program Synthesis and Transformation
17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers
Produktform: Buch / Einband - flex.(Paperback)
Noch Fragen? 0800 / 33 82 637
Produktform: Buch / Einband - flex.(Paperback)