Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers (Lecture Notes in Computer Science)

Der Band aus dem LOPSTR‑Symposium 2016 in Edinburgh fasst neueste Theorien zur logikbasierten Programmsynthese zusammen, beleuchtet innovative Trans ...

Allgemein

Marke
Hermenegildo, Manuel V.
ISBN
Hermenegildo, Manuel V. 3319631381

Eigenschaften

Menü