Logic-Based Program Synthesis and Transformation

Wo zu kaufen (2) Eigenschaften
Gesponsert
Logic-Based Program Synthesis and Transformation: 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9–10, 2024, Proceedings (Lecture Notes in Computer Science, 14919, Band 14919)
Medimops DE
69.54 EUR
Preis aktualisiert am: 26-04-2026 13:11:45
Siehe Produktangebot
Gesponsert
Logic-Based Program Synthesis and Transformation
SpringerLink DE
69.54 EUR
Preis aktualisiert am: 26-04-2026 01:52:24
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ähnliche Produkte

Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
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
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: 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers (Lecture Notes in Computer Science, 1559, Band 1559)
Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers (Lecture Notes in Computer Science, 1559, Band 1559)
Produkt anzeigen
Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers (Lecture Notes in Computer Science, 2372, Band 2372)
Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers (Lecture Notes in Computer Science, 2372, Band 2372)
Produkt anzeigen
Menü