Logic-Based Program Synthesis and Transformation

51.14 EUR 0% Off 51.36 EUR

Ein Sammelband aus dem LOPSTR‑Symposium in Madrid präsentiert neueste Erkenntnisse zur logikbasierten Programmsynthese und Transformation, verbindet theoretische Modelle mit praxisnahen Fallstudien.

Marke: Springer-Verlag GmbH
MPN: 51 black & white illustrations, biograph
ISBN: 9783319141244