Theory and Practice of Refinement
Approaches to the Formal Development of Large-Scale Software Systems
Edición de la obra Theory and Practice of Refinement
| Autor | John A. McDermid |
|---|---|
| Editorial | Elsevier Science & Technology Books |
| Fecha de publicación | 1989 |
| Idioma | inglés |
| ISBN-13 | 9781483143880 |
| Número de Cutter | M478t |