Logic Based Program Synthesis and Transformation
14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Sandro Etalle
Themen in »Logic Based Program Synthesis and Transformation«
computational logic constraint programming formal methods functional programming imperative programming logic logic program manipulation logic programming program analysis program syntesis program transformation program verification programming theor semantics verification
Stimmen zu »Logic Based Program Synthesis and Transformation«
Details
ISBN: 9783540266556
Verlag: Springer Berlin
Erscheinung: 24.06.2005