Logic-Based Program Synthesis and Transformation

Der Band aus dem internationalen Symposium LOPSTR 2013 in Madrid fasst aktuelle Forschung zu logikbasierter Programmsynthese und Transformation zusamm ...
Synthesis and Transformation
Wo zu kaufen (3) Eigenschaften
Gesponsert
Logic-Based Program Synthesis and Transformation: 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers (Lecture Notes in Computer Science)
Medimops DE
51.36 EUR
Preis aktualisiert am: 06-11-2026 07:04:55
Siehe Produktangebot
Gesponsert
Logic-Based Program Synthesis and Transformation
Hugendubel
51.49 EUR
Preis aktualisiert am: 06-11-2026 15:52:33
Siehe Produktangebot
Gesponsert
Logic-Based Program Synthesis and Transformation
SpringerLink DE
57.00 EUR
Preis aktualisiert am: 06-11-2026 06:23:33
Siehe Produktangebot

Allgemein

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

Eigenschaften

Ähnliche Produkte

Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised ... Notes in Computer Science, Band 11408)
Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised ... Notes in Computer Science, Band 11408)
Aus53.49 EUR 4
Produkt anzeigen
Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers (Lecture Notes in Computer Science)
Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers (Lecture Notes in Computer Science)
Aus52.94 EUR 4
Produkt anzeigen
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)
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)
Aus53.04 EUR 4
Produkt anzeigen
Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected ... Notes in Computer Science, Band 10855)
Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected ... Notes in Computer Science, Band 10855)
Aus52.94 EUR 4
Produkt anzeigen
Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
Aus59.00 EUR 1
Produkt anzeigen
Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
Aus53.49 EUR 1
Produkt anzeigen
Menü