Logic-Based Program Synthesis and Transformation: 23rd International Symposium, Lopstr 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Pa 2014 Edition Contributor(s): Gupta, Gopal (Editor), Peña, Ricardo (Editor) |
|
![]() |
ISBN: 3319141244 ISBN-13: 9783319141244 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback Published: December 2014 |
Additional Information |
BISAC Categories: - Computers | Programming - General - Computers | Software Development & Engineering - General - Mathematics | Logic |
Dewey: 004.015 |
Series: Lecture Notes in Computer Science / Theoretical Computer Sci |
Physical Information: 0.53" H x 6.14" W x 9.21" (0.79 lbs) 237 pages |