Logic Based Program Synthesis and Transformation Sandro Etalle
53,49 €
Titel: Logic Based Program Synthesis and Transformation, Untertitel: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers, Einband: Taschenbuch, Autor: Sandro Etalle, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 292, Maße: 235x155x16 mm, Gewicht: 446 g, Verkäufer: buch-mimpf, Schlagworte: Programmieren (EDV) / Entwicklung Computational Logic Constraint Programming Functional Programming Imperative Programming Logic Programming Program Transformation Program Verification Semantics formal methods logic logic program manipulation program analysis program syntesis programming theor verification.
Jetzt bei Ebay:
