Logic Based Program Synthesis and Transformation M. Leuschel
53,49 €
Titel: Logic Based Program Synthesis and Transformation, Untertitel: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers, Einband: Taschenbuch, Autor: M. Leuschel, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 296, Maße: 235x155x17 mm, Gewicht: 452 g, Verkäufer: buch-mimpf, Schlagworte: Programmieren (EDV) / Entwicklung Computational Logic Constraint Programming Erfüllbarkeitsproblem der Aussagenlogik Functional Programming Imperative Programming Logic Programming Optimization Program Transformation Program Verification Resolution Semantics Variable formal methods logic verification.
Jetzt bei Ebay:
