Logic-based program synthesis and transformation : 9th international workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 : selected papers
Annalisa Bossi (ed.)
Bok Engelsk 2000 LOPSTR '99
| Utgitt | Berlin : Springer , c2000
|
|---|---|
| Omfang | VIII, 312 s. : ill.
|
| Emner | |
| ISBN | 3540676287
|
