|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Logic-Based Program Synthesis and Transformation: 25th International Symposium, Lopstr 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers 2015 Edition (Lecture Notes in Computer Science) | Falaschi, Moreno | Paperback | 331927435X /
9783319274355 | 12/2015 | $52.24 |
|  | Static Analysis: Third International Workshop, Wsa '93, Padova, Italy, September 22-24, 1993. Proceedings 1993 Edition (Lecture Notes in Computer Science) | Cousot, Patrick | Paperback | 3540572643 /
9783540572640 | 09/1993 | $52.24 |
|
|
|