Logic-Based Program Synthesis and Transformation
19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Danny De Schreye
Themen in »Logic-Based Program Synthesis and Transformation«
automata theory equational logic logic programming optimization pipelining proof theory software architecture verification
Stimmen zu »Logic-Based Program Synthesis and Transformation«
Details
ISBN: 9783642125928
Verlag: Springer Berlin
Erscheinung: 29.04.2010