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 (4) Eigenschaften
Gesponsert
Logic-Based Program Synthesis and Transformation
Hugendubel
53.49 EUR
Preis aktualisiert am: 21-09-2026 03:16:59
Siehe Produktangebot
Gesponsert
Logic-Based Program Synthesis and Transformation, Fachbücher von Michael Hanus
Galaxus.de
53.49 EUR
Preis aktualisiert am: 22-09-2026 13:03:17
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: 22-09-2026 17:21:35
Siehe Produktangebot
Gesponsert
Logic-Based Program Synthesis and Transformation
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 23-09-2026 00:15:30
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: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected ... Notes in Computer Science, Band 7844)
Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected ... Notes in Computer Science, Band 7844)
Aus48.99 EUR 4
Produkt anzeigen
Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
Aus53.49 EUR 4
Produkt anzeigen
Menü