Logic based program synthesis and transformation : 11th international workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers
Alberto Pettorossi (ed.)
Bok Engelsk 2002 LOPSTR 2001
| Utgitt | Berlin : Springer , c2002
|
|---|---|
| Omfang | VIII, 265 s. : ill.
|
| Emner | |
| ISBN | 3540439153
|
