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

Logic based program synthesis and transformation

: 15th international symposium ; revised selected papers / LOPSTR 2005, London, UK, September 7 - 9, 2005. Patricia M. Hill (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3901)

ISBN 978-3-540-32656-4

Lizenzpflichtig

Quelle: DNB

Seite < 1 >
Projekte . Kooperationen
Advertorial