Logic-Based Program Synthesis and Transformation: 21st International Symposium,
Ø 0.0
0 Bewertungen
38,64 €
Den Zustand der Ware versuchen wir so gut wie möglich zu beschreiben. eine Lösung finden können. Diese können Stempel oder ähnliches der jeweiligen Bibliothek enthalten. Cover-Abweichungen durch Behandlung der Bibliothek möglich.
Jetzt bei Ebay:
-
ISBN-10:3642322107
-
Buchtitel:Logic-Based Program Synthesis and Transformation
-
Untertitel:21st International Symposium, LOPSTR 2011, Odense,
-
Höhe:1.5 cm
-
Gewicht:406 g
-
Länge:23.5 cm
-
Breite:15.5 cm
-
ISBN:9783642322105
-
Reihe:Theoretical Computer Science And General Issues
-
Produktart:Lehrbuch
-
Format:Taschenbuch
-
Erscheinungsjahr:2012
-
Anzahl der Seiten:264 Seiten
-
Autor:Germán Vidal
-
Verlag:Springer Berlin Heidelberg, Springer Berlin
-
Publikationsname:Logic-Based Program Synthesis And Transformation
-
Sprache:Englisch
-
Expressversand:Sonstige (1 Werktag) kostenlos - Lieferung zwischen 01. July 2025 und 01. July 2025 (bei heutigem Zahlungseingang)
-
Versand nach:Deutschland, Italien, Spanien, Österreich, Polen, Schweiz
-
Versand ausgeschlossen:Afrika , Asien , Mittelamerika und Karibik , Naher Osten , Ozeanien , Südostasien , Südamerika , Bermuda , Grönland , Kanada , ... und weitere