3rd Refinement Workshop
proceedings of the 3rd Refinement Workshop (organised by BCS-FACS, and sponsored by IBM UK Laboratories, Hursley Park, and the Programming Research Group, University of Oxford) 9-11 January 1990, Hursley Park
Edición de la obra 3rd Refinement Workshop
| Autor | Refinement Workshop (3rd 1990 IBM UK Laboratories) |
|---|---|
| Editorial | Springer-Verlag |
| Fecha de publicación | 1991 |
| Lugar | London, New York |
| Idioma | inglés |
| Páginas | 197 |
| ISBN-10 | 0387196242, 3540196242 |
| LCCN | 90022992 |
| Serie | Workshops in computing |
| Número de Cutter |