An edition of Logic based program synthesis and transformation
(2006)
Logic based program synthesis and transformation
15th international symposium, LOPSTR 2005, London, UK, September 7-9, 2005 : revised selected papers
by LOPSTR 2005 (2005 London, England)
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Subjects
Logic programming, Congresses| Edition | Availability |
|---|---|
1
Logic based program synthesis and transformation: 15th international symposium, LOPSTR 2005, London, UK, September 7-9, 2005 : revised selected papers
2006, Springer
in English
3540326545 9783540326540
|
aaaa
|
Book Details
Edition Notes
Held concurrently with SAS 2005, the Symposium on Static Analysis in Imperial College, University of London.
Includes bibliographical references and author index.
Classifications
External Links
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
History
- Created October 9, 2008
- 7 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| August 12, 2024 | Edited by MARC Bot | import existing book |
| December 29, 2022 | Edited by MARC Bot | import existing book |
| October 4, 2021 | Edited by ImportBot | import existing book |
| December 17, 2020 | Edited by MARC Bot | import existing book |
| October 9, 2008 | Created by ImportBot | Imported from Library of Congress MARC record |