An edition of Logic-Based Program Synthesis and Transformation
(2009)
Logic-Based Program Synthesis and Transformation
18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
by Hutchison, David - undifferentiated
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
| Edition | Availability ↑ |
|---|---|
1
Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
2009, Springer Berlin Heidelberg
electronic resource :
in English
3642005144 9783642005145
|
aaaa
|
Book Details
Edition Notes
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
See All
| November 13, 2020 | Edited by MARC Bot | import existing book |
| August 21, 2020 | Edited by ImportBot | import existing book |
| July 28, 2014 | Created by ImportBot | import new book |