Número de Cutter-SanbornG977lEntrada «Gunt» → 977 · marca de obra “l”

Logic-Based Program Synthesis and Transformation

Name: Logic-Based Program Synthesis and Transformation
ISBN: 9783319141244

23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Autor	Gopal Gupta, Ricardo Peña
Editorial	Springer International Publishing AG
Fecha de publicación	2014
Idioma	inglés
Páginas	237
ISBN-13	9783319141244
Número de Cutter	`G977l`

Logic-Based Program Synthesis and Transformation (2014) — ISBN 9783319141244 | Cutter Number