hintergrundbild
logo
logo
Suchfeld einblenden
ISBN / EAN
Nachname
Vorname
Titel
Reihe
Schlagwort
und   oder
Index
Verlag
Ersch.-Jahr
bis
Katalog
Rezensent
Person Puebla, Germán
1 Treffer
Seite < 1 >
Cover

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 >
Projekte . Kooperationen