Logic based program synthesis and transformation : 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers
Maurice Bruynooghe (ed.)
Bok Engelsk 2004 LOPSTR 2003
| Utgitt | Berlin : Springer , c2004
|
|---|---|
| Omfang | X, 232 s. : ill.
|
| Emner | |
| ISBN | 3540221743
|
