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.14 EUR
Preis aktualisiert am: 01-05-2026 07:11:26
Siehe Produktangebot
Gesponsert
Logic-Based Program Synthesis and Transformation
SpringerLink DE
51.36 EUR
Preis aktualisiert am: 30-04-2026 14:14:36
Siehe Produktangebot
Gesponsert
Logic-Based Program Synthesis and Transformation, Fachbücher von Ricardo Peña, Gopal Gupta
Galaxus.de
51.36 EUR
Preis aktualisiert am: 30-04-2026 07:49:10
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)
Produkt anzeigen
Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
Produkt anzeigen
Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
Produkt anzeigen
Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
Produkt anzeigen
Logic-Based Program Synthesis and Transformation: 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings (Lecture Notes in Computer Science, Band 12561)
Logic-Based Program Synthesis and Transformation: 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings (Lecture Notes in Computer Science, Band 12561)
Produkt anzeigen
Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised ... Notes in Computer Science, 4915, Band 4915)
Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised ... Notes in Computer Science, 4915, Band 4915)
Produkt anzeigen
Menü