Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
Previews available in: English
Subjects
Logic programming, CongressesShowing 2 featured editions. View all 2 editions?
Edition | Availability |
---|---|
1
Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers
2003, Springer London, Limited
in English
3540451420 9783540451426
|
zzzz
Libraries near you:
WorldCat
|
2
Logic Based Program Synthesis & Transformation
June 15, 2001, Springer
Paperback
in English
- 1 edition
3540421270 9783540421276
|
aaaa
Libraries near you:
WorldCat
|
Book Details
First Sentence
"It is well known that formal proofs can be used for program synthesis and program verification, and this essentially depends on the availability of an information extraction mechanism allowing the capture in an uniform way of the implicit algorithmic content of a proof."
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?July 28, 2014 | Edited by ImportBot | import new book |
April 28, 2010 | Edited by Open Library Bot | Linked existing covers to the work. |
December 10, 2009 | Created by WorkBot | add works page |