Suchfeld einblenden
Person Bossi, Annalisa
1 Treffer
Seite < 1 >
Logic based program synthesis and transformation
: 9th international workshop ; selected papers / LOPSTR '99, Venice, Italy, September 22 - 24, 1999. Annalisa Bossi (ed.). - Berlin : Springer, 2000. - VIII, 312 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1817)
ISBN 978-3-540-67628-7 / 3-540-67628-7 kart. : DM 82.00
Literaturangaben
Quelle: DNB
Seite < 1 >
