Logic and Specification: Extending Vdm-Sl for Advanced Formal Specification (Computer Science : Research and Practice)
Edición de la obra Logic and Specification: Extending Vdm-Sl for Advanced Formal Specification (Computer Science : Research and Practice)
| Autor | Cornelis A. Middelburg |
|---|---|
| Editorial | Chapman & Hall |
| Fecha de publicación | February 1993 |
| Idioma | inglés |
| Páginas | 404 |