Opening book details…
Can I read Logic-based program synthesis and transformation : 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007 : revised selected papers on EtoBox?
Logic-based program synthesis and transformation : 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007 : revised selected papers by Michael Codish (auth.), Andy King (eds.) is a computer science book available to read on EtoBox.
What is Logic-based program synthesis and transformation : 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007 : revised selected papers about?
This postproceedings volume of the 17th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2007, examines program termination, program transformation, constraint solving and analysis as well as software engineering.
Who reads Logic-based program synthesis and transformation : 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007 : revised selected papers?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Michael Codish (auth.), Andy King (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2008
- Language
- EN
- ISBN
- 9783540787693
- Category
- computer science
- Subjects
- Engineering, Mathematics, Programming
- Updated
- 2026-03-16
More by Michael Codish (auth.), Andy King (eds.)
Browse all works by Michael Codish (auth.), Andy King (eds.)
Similar books
- Logic-Based Program Synthesis and Transformation : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers — Germán Vidal (auth.), Danny De Schreye (2010)
- Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers — Wim Vanhoof (auth.), Sandro Etalle (2005)
- Logic-based program synthesis and transformation : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013 : revised selected papers — Gopal Gupta, Ricardo Peña (2014)
- Logic-based program synthesis and transformation : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 : revised selected papers — Cristiano Calcagno, Dino Distefano (auth.), Michael Hanus (2009)
- Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers (Lecture Notes in Computer Science, 8981) — Hirohisa Seki Maurizio Proietti (2015)
- Logic-based program synthesis and transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012 : revised selected papers — Jürgen Giesl, Thomas Ströder (auth.), Elvira Albert (2013)
