Logic Based Program Synthesis & Transformation free ebook download.
Presents papers from the 10th Intl Workshop, LOPSTR 2000, held in London, UK, July 24-28, 2000. Synthesis, transformation, analysis, specialization, and abstract interpretation are discussed. Softcover.
ISBN: 3540421270, Author: , Publisher: Springer, Pages: 183, Publication Date: 2001-06-15
Download
No comments:
Post a Comment