Proof in Vdm
A Practitioner's Guide (Formal Approaches to Computing and Information Technology)
Edición de la obra Proof in VDM
| Autor | Juan C. Bicarregui, John S. Fitzgerald |
|---|---|
| Editorial | Springer-Verlag Telos |
| Fecha de publicación | January 1995 |
| Idioma | inglés |
| Páginas | 362 |
| ISBN-13 | 9780387198132 |
| ISBN-10 | 038719813X |
| Número de Cutter | B583p |