1. Home
  2. Medien
  3. Bücher
  4. 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

53.49 EUR 52.94 EUR 1% Off

Entdecken Sie die neuesten Fortschritte der programmatischen Synthese, präsentiert bei LOPSTR 2015 in Siena; das Buch fasst ausgewählte Papers zusammen und bietet tiefe Einblicke in theoretische Informatik.

Teilen:

Ähnliche Produkte

Logic-Based Program Synthesis and Transformation

53.49 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

52.94 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