An edition of Logic-Based Program Synthesis and Transformation
(2018)
Logic-Based Program Synthesis and Transformation
27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
by Fabio Fioravanti and Gallagher, John P.
Share
×Close
This edition 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: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
Jul 10, 2018, Springer
paperback
3319944592 9783319944593
|
aaaa
|
Book Details
Edition Notes
Source title: Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers (Lecture Notes in Computer Science (10855))
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| October 7, 2021 | Edited by ImportBot | import existing book |
| July 16, 2020 | Created by ImportBot | import new book |