Número de Cutter-SanbornA457lEntrada «Alpi» → 457 · marca de obra “l”

Logic-Based Program Synthesis and Transformation

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

20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers

Autor	María Alpuente
Editorial	Springer Berlin Heidelberg
Fecha de publicación	2011
Lugar	Berlin, Heidelberg
Idioma	inglés
Formato	[electronic resource] :
ISBN-13	9783642205507, 9783642205514
Serie	Lecture Notes in Computer Science -- 6564
Número de Cutter	`A457l`

Logic-Based Program Synthesis and Transformation (2011) — ISBN 9783642205507 | Cutter Number