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

Logic based program synthesis and transformation

: 12th international workshop ; revised selected papers / LOPSTR 2002, Madrid, Spain, September 17 - 20, 2002. Michael Leuschel (ed.). - Berlin : Springer, 2003. - X, 279 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2664)

ISBN 978-3-540-40438-5 / 3-540-40438-4 kart. : EUR 44.94

Literaturangaben

Quelle: DNB

Seite < 1 >
Projekte . Kooperationen
Advertorial