Logic-Based Program Synthesis and Transformation | Kaicus Deutschland

Logic-Based Program Synthesis and Transformation

52.94 EUR 4% Off 54.99 EUR

Ein Sammelband aus dem 27. internationalen Symposium zur logikbasierten Programmsynthese in Namur (2017), der innovative Ansätze zu formalen Methoden, Optimierung und automatisierter Code‑Umwandlung präsentiert.

Marke: Fabio Fioravanti
ISBN: 3319944592