Publisher's Synopsis
Constitutes the thoroughly refereed post-conference proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2009, held in Coimbra, Portugal, during September 9-11, 2009.
1st Edition
Paperback (20 Apr 2010)
Save $31.06
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
Constitutes the thoroughly refereed post-conference proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2009, held in Coimbra, Portugal, during September 9-11, 2009.
ISBN: | 9783642125911 |
Publisher: | Springer Berlin Heidelberg |
Imprint: | Springer |
Pub date: | 20 Apr 2010 |
Edition: | 1st Edition |
Language: | English |
Number of pages: | 204 |
Weight: | 338g |
Height: | 234mm |
Width: | 157mm |
Spine width: | 13mm |