Proof in VDM
a practitioner's guide
Edición de la obra Proof in VDM
| Autor | Juan Carlos Bicarregui |
|---|---|
| Editorial | Springer-Verlag |
| Fecha de publicación | 1994 |
| Lugar | London |
| Idioma | inglés |
| Páginas | 362 |
| ISBN-10 | 354019813X |
| Serie | Formal approaches to computing and information technology · FACIT |
| Número de Cutter | B583p |