1. Home
  2. Medien
  3. Bücher
  4. Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

53.49 EUR 52.94 EUR 1% Off

Ein Fachband aus dem 27. internationalen Symposium zur logikbasierten Programmsynthese in Namur (2017), der aktuelle Fortschritte in formalen Methoden, Optimierung und automatisierter Code‑Transformation beleuchtet.

Teilen:

Ähnliche Produkte

Logic-Based Program Synthesis and Transformation

53.49 EUR
Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

52.94 EUR

Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers

53.04 EUR
Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

53.49 EUR

Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers

49.22 EUR
Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

49.22 EUR
Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers (Lecture Notes in Computer Science)

Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers (Lecture Notes in Computer Science)

53.49 EUR
Logic Based Program Synthesis and Transformation

Logic Based Program Synthesis and Transformation

53.49 EUR