Logic Based Program Synthesis and Transformation
10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers
Edición de la obra Logic Based Program Synthesis & Transformation
| Autor | Kung-Kiu Lau |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2003 |
| Idioma | inglés |
| ISBN-13 | 9783540451426 |
| Número de Cutter | L366l |