Logic Based Program Synthesis and Transformation Alberto Pettorossi
74,89 €
Titel: Logic Based Program Synthesis and Transformation, Untertitel: 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers, Einband: Taschenbuch, Autor: Alberto Pettorossi, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 280, Maße: 235x155x16 mm, Gewicht: 429 g, Verkäufer: buch-mimpf, Schlagworte: Programmieren (EDV) / Entwicklung Computational Logic Functional Programming Imperative Programming Logic Programming Program Synthesis Program Transformation Program Verification constrain programming formal methods logic program analysis verification.
Jetzt bei Ebay:
