Suchfeld einblenden
Person Puebla, Germán
1 Treffer
Seite < 1 >
Logic based program synthesis and transformation
: 16th International Symposium ; revised selected papers / LOPSTR 2006, Venice, Italy, July 12-14, 2006. Germán Puebla (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4407)
ISBN 978-3-540-71410-1
Lizenzpflichtig
Quelle: DNB
Seite < 1 >