Logic-Based Program Synthesis and Transformation

52.74 EUR 1% Off 53.49 EUR

Ein Fachband aus dem LOPSTR‑Symposium 2008 in Valencia, der fortschrittliche logikbasierte Techniken zur Programmsynthese und -transformation zusammenfasst; theoretische Modelle mit praxisnahen Fallstudien verbindet.

Marke: Michael Hanus
ISBN: 9783642005145
SKU: 9783642005145
MPN: biography