Logic program synthesis and transformation : 6th international workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996 : proceedings
John Gallagher (ed.)
Bok Engelsk 1997 LOPSTR '96
| Utgitt | Berlin : Springer , c1997
|
|---|---|
| Omfang | VI, 324 s. : fig.
|
| Emner | Logikkprogrammering
Programspesifikasjon Programverifikasjon programtransformasjon logikkprogrammering |
| ISBN | 3540627189
|
