Logic-Based Program Synthesis and Transformation

Ein Fachband aus dem LOPSTR‑Symposium 2008 in Valencia, der neue logikbasierte Techniken zur Programmsynthese und -transformation zusammenfasst; the ...
Wo zu kaufen (3) Eigenschaften
Gesponsert
Logic-Based Program Synthesis and Transformation
Hugendubel
53.49 EUR
Preis aktualisiert am: 10-11-2026 11:31:41
Siehe Produktangebot
Gesponsert
Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers (Lecture Notes in Computer Science)
Medimops DE
53.49 EUR
Preis aktualisiert am: 10-11-2026 06:07:34
Siehe Produktangebot
Gesponsert
Logic-Based Program Synthesis and Transformation
SpringerLink DE
54.99 EUR
Preis aktualisiert am: 11-11-2026 23:45:29
Siehe Produktangebot

Allgemein

Marke
Michael Hanus
ISBN
Michael Hanus 9783642005145
MPN
Michael Hanus biography

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: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers (Lecture Notes in Computer Science, Band 7225)
Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers (Lecture Notes in Computer Science, Band 7225)
Aus48.99 EUR 3
Produkt anzeigen
Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
Aus54.99 EUR 1
Produkt anzeigen
Menü