Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers


Book Informaton

Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

Author

Moreno Falaschi

Series

Lecture Notes in Computer Science

Volume

9527

Year of Publication

1st ed. 2015

Publisher

Springer International Publishing

Pages

XVII, 385

Language

EN

ISBN

9783319274355, 9783319274362, 331927435X

ARI Id

1664705555139


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 5 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Access Options
Citation Options
Download Citation

Showing 1 to 20 of 35 entries
Showing 1 to 20 of 35 entries