Logic based program synthesis and transformation : 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papers
Michael Leuschel (ed.)
Bok Engelsk 2003 LOPSTR 2002
| Utgitt | Berlin : Springer , c2003
|
|---|---|
| Omfang | X, 279 s. : ill.
|
| Emner | |
| ISBN | 3540404384
|
