Normal view MARC view ISBD view

Logic-based program synthesis and transformation : 25th international symposium, LOPSTR, Siena, Italy, July 13-15, 2015 (e-book)

Logic-based program synthesis and transformation : 25th international symposium, LOPSTR, Siena, Italy, July 13-15, 2015 (e-book) - Berlin Springer 2015 - Lecture Notes in Computer Science (LNCS) v.9527 .

ISBN: 978-3-319-27436-2

Subjects--Topical Terms:
Computer science and engineering
Logic programming--Congresses
Program transformation(computer programming)--Congresses
Computational complexity--Congresses

Print
Add to your cart (remove)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)