Logic based program synthesis and transformation
12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papers
Gespeichert in:
Verfasser / Beitragende:
Michael Leuschel, (ed.)
Ort, Verlag, Jahr:
Berlin [etc.] :
Springer,
2003
Beschreibung:
X, 279 p. : fig. ; 24 cm
Format:
Buch (Kongress)