Logic-Based Program Synthesis and Transformation: 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers (Lecture Notes in Computer Science) free ebook download
3/21/2017 6:26:57 AM
To download click on link in the Links Table below
Click to see full description
LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.
Those who downloaded this book also downloaded the following books:
(C) FreeBookSpot 2007 - 2015