Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers - Lecture Notes in Computer Science 7225 (Paperback)German Vidal (editor)
- We can order this
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Number of pages: 254
Weight: 409 g
Dimensions: 235 x 155 x 14 mm
Edition: 2012 ed.
You may also be interested in...
Please sign in to write a review