Proof in VDM
a practitioner's guide
Edición de la obra Proof in VDM
| Autor | Juan Carlos Bicarregui, Juan C. Bicarregui, John S. Fitzgerald |
|---|---|
| Editorial | Springer-Verlag |
| Fecha de publicación | 1994 |
| Lugar | London, New York |
| Idioma | inglés |
| Páginas | 362 |
| ISBN-10 | 038719813X |
| OCLC | 29523091 |
| LCCN | 93023655 |