Specifying system implementations in Z
Edición de la obra Specifying system implementations in Z
| Autor | Jonathan Bowen |
|---|---|
| Editorial | OxfordUniversity Computing Laboratory, Programming Research Group |
| Fecha de publicación | 1988 |
| Lugar | Oxford |
| Idioma | inglés |
| ISBN-10 | 0902928457 |
| Serie | Technical monograph -- PRG-63 |
| Número de Cutter | B786s |