Logic Based Program Synthesis and Transformation
15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Patricia M. Hill
Themen in »Logic Based Program Synthesis and Transformation«
Extension Prolog Variable algorithms computational logic constraint programming formal methods functional programming logic logic program manipulation logic programming modular programming program synthesis program verification verification
Stimmen zu »Logic Based Program Synthesis and Transformation«
Details
ISBN: 9783540326540
Verlag: Springer Berlin
Erscheinung: 23.03.2006