Logic Based Program Synthesis And Transformation 25th International Symposium Lopstr 2015 Siena Italy July 13 15 2015 Revised Selected Papers Lecture Notes In Computer Science PDF, ePub eBook


File Name: Logic Based Program Synthesis And Transformation 25th International Symposium Lopstr 2015 Siena Italy July 13 15 2015 Revised Selected Papers Lecture Notes In Computer Science

Size: 48868 KB

Uploaded: January 26, 2017

Rating: 4.5/5 from 6995 votes.

AVAILABLE Last checked: 57 Minutes ago!