Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Pa

By María Alpuente

The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 364220550X
• ISBN13: 9783642205507
• Release Date: May 2011
• Publisher: Springer
• Length: 249 Pages
• Weight: 0.90 lbs.
• Dimensions: 0.6" x 6.1" x 9.2"