Home > Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers
Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers
Book Informaton
Author
Patricia M. Hill
Series
Lecture Notes in Computer Science
Volume
3901
Year of Publication
2006
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin; New York
Pages
X, 182
Language
en
ISBN
9783540326540, 9783540326564, 3540326545
ARI Id
1665007509815
This page has been accessed 7 times.
Access Options
Citation Options
Download CitationShowing 1 to 13 of 13 entries
Chapters/Headings | Author(s) | Pages | Info |
1-5 | |||
6-22 | |||
23-43 | |||
44-60 | |||
61-79 | |||
80-97 | |||
98-114 | |||
115-132 | |||
133-146 | |||
147-162 | |||
163-178 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 13 of 13 entries
Topics