Logic Based Program Synthesis and Transformation Kung-Kiu Lau
53,49 €
Titel: Logic Based Program Synthesis and Transformation, Untertitel: 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers, Einband: Taschenbuch, Autor: Kung-Kiu Lau, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 196, Maße: 235x155x11 mm, Gewicht: 306 g, Verkäufer: buch-mimpf, Schlagworte: Programmieren (EDV) / Generativ Computational Logic Constraint Programming Functional Programming Imperative Programming Logic Programming Program Synthesis Program Verification Prolog Semantics debugging formal methods logic program analysis programming theory verification.
Jetzt bei Ebay:
