Treffer: Logic based program synthesis and transformation

Titel:

Logic based program synthesis and transformation : 8th international workshop ; selected papers / LOPSTR '98, Manchester, UK, June 15 - 19, 1998. Pierre Flener (ed.)

Verantwortlich:

Körperschaft:

Veröffentlicht:

Berlin : Springer, 1999

Umfang:

X, 330 Seiten : Diagramme ; 24 cm

Publikationstyp:

Buch

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Lecture notes in computer science ; 1559
alle Bände anzeigen

Anmerkungen:

Literaturangaben

RVK-Notation:

Schlagworte:

ISBN:

3540657657

Zusatz-Informationen