Logic-Based Program Synthesis and Transformation
17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Andy King
Themen in »Logic-Based Program Synthesis and Transformation«
agent-based software development algorithm algorithms analysis component-based software development composition logic modeling optimisation program refinement proving reuse software architectures specification verification
Stimmen zu »Logic-Based Program Synthesis and Transformation«
Details
ISBN: 9783540787693
Verlag: Springer Berlin
Erscheinung: 26.11.2008