Logic Based Program Synthesis and Transformation Maurice Bruynooghe
53,49 €
Titel: Logic Based Program Synthesis and Transformation, Untertitel: 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers, Einband: Taschenbuch, Autor: Maurice Bruynooghe, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 248, Maße: 235x155x14 mm, Gewicht: 382 g, Verkäufer: buch-mimpf, Schlagworte: Algorithmus Sprache / Formale Sprache Computational Logic Functional Programming Imperative Programming Logic Programming Optimization Program Transformation Semantics Syntax algorithms automata data structure logic logic program manipulation program analysis program syntesis.
Jetzt bei Ebay:
