Buy Used and New RicardoPeña Books

Logic-Based Program Synthesis and Transformation: 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers: 8901 (Lecture Notes in Computer Science)

by Gopal Gupta, Ricardo Peña

ISBN 13: 9783319141244

Format: Paperback (252 pages)
Publisher: Springer
Published: 22 Dec 2014

Save for later

Foundational and Practical Aspects of Resource Analysis: Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers (Lecture Notes in Computer Science)

by Ricardo Peña, Marko van Eekelen, Olha Shkaravska

ISBN 13: 9783642324949

Format: Paperback (156 pages)
Publisher: Springer
Published: 13 Jul 2012

Save for later