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 Program Synthesis and Transformation : Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7–9 July 1993 — Douglas R. Smith (auth.), Yves Deville (1994)
- Logic program synthesis and transformation : proceedings of LOPSTR '91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4-5 July 1991 — Jonathan M. Lever (auth.), Timothy Paul Clement MA, DPhil, Kung-Kiu Lau BSc, PhD (1992)
- Lecture Notes in Computer Science 4407 Logic-Based Program Synthesis and Transformation 16th International Symposium,LOPSTR 2006 — Germàn Puebla, International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2006, Germán Puebla, International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR, Germán Puebla , LOPSTR (Symposium) (2007)
- Lecture Notes in Computer Science 3573 Logic Based Program Synthesis and Transformation 14th International Synthesis and Transformation 14th International Symposium,LOPSTR 2004 — Sandro Etalle, International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2004, Sandro Etalle, International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR, Sandro Etalle , LOPSTR (Symposium) (2005)
