The Object-Z specification language
Edición de la obra The Object-Z specification language
| Autor | Graeme Smith |
|---|---|
| Editorial | Kluwer Academic |
| Fecha de publicación | 2000 |
| Lugar | Boston |
| Idioma | inglés |
| Páginas | 146 |
| ISBN-10 | 0792386841 |
| LCCN | 99047408 |
| Serie | Advances in formal methods ; · 1 |
| Número de Cutter | S648o |