Logic based program synthesis and transformation
11th international workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers
Gespeichert in:
Verfasser / Beitragende:
Alberto Pettorossi, (ed.)
Ort, Verlag, Jahr:
Berlin [etc.] :
Springer,
2002
Beschreibung:
VIII, 265 p. : fig. ; 24 cm
Format:
Buch (Kongress)