Logic Based Program Synthesis and Transformation
11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers
Buch in deiner Nähe kaufen
oder
Beschreibung
Includes supplementary material: sn.pub/extras
Autor*in
Alberto Pettorossi
Themen in »Logic Based Program Synthesis and Transformation«
Program analysis computational logic constrain programming formal methods functional programming imperative programming logic logic programming program synthesis program transformation program verification verification
Stimmen zu »Logic Based Program Synthesis and Transformation«
Details
ISBN: 9783540439158
Verlag: Springer Berlin
Erscheinung: 17.07.2002