An edition of Logic-Based Program Synthesis and Transformation (2010)
Logic-Based Program Synthesis and Transformation
19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
By Danny De Schreye
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
2010
Publisher
Springer-Verlag Berlin Heidelberg,Springer
Language
eng
Pages
215
1-1 of 1 Editions
Logic-Based Program Synthesis and Transformation19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
Language: eng
Pages: 215
Published In: 2010
Publisher: Springer-Verlag Berlin Heidelberg, Springer