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

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

Show other versions (3)

This book constitutes the thoroughly refereed post-proceedings of the 20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010, held in Hagenberg, Austria in July 2010. The 13 revised full papers presented together with two invited papers were carefully reviewed...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Alpuente, María (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format: Book
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011
Edition:1st ed. 2011
Series:Computer Science (Springer-11645)
Computer Science (SpringerNature-11645)
LNCS sublibrary Theoretical computer science and general issues ; 6564.
LNCS sublibrary Theoretical computer science and general issues 6564
Subjects:
Algorithms
Artificial intelligence
Computer logic
Computer programming
Computer science
Software engineering
Software Engineering
Artificial Intelligence
Computer Science Logic and Foundations of Programming
Logics and Meanings of Programs
Programming Techniques

Internet

This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.

Similar Items