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

Logic based program synthesis and transformation

: 8th international workshop ; selected papers / LOPSTR '98, Manchester, UK, June 1998. P. Flener (ed.). - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; 1559)

ISBN 978-3-540-48958-0

Lizenzpflichtig

Quelle: DNB

Cover

Logic based program synthesis and transformation

: 8th international workshop ; selected papers / LOPSTR '98, Manchester, UK, June 15 - 19, 1998. Pierre Flener (ed.). - Berlin : Springer, 1998. - X, 330 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1559)

ISBN 978-3-540-65765-1 / 3-540-65765-7 kart. : DM 78.00

Literaturangaben

Quelle: DNB

Seite < 1 >
Projekte . Kooperationen
Advertorial