Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers 1st Auflage verfasst von Germán Puebla und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Logic-Based Program Synthesis and Transformation lauten 9783540714101, 3540714103 und die Druck-ISBNs lauten 9783540714095, 354071409X. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.

Logic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers 1st Auflage verfasst von Germán Puebla und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Logic-Based Program Synthesis and Transformation lauten 9783540714101, 3540714103 und die Druck-ISBNs lauten 9783540714095, 354071409X. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.