Proof in VDM
A Practitioner’s Guide
Edición de la obra Proof in VDM
| Autor | Juan Bicarregui, John S. Fitzgerald, Peter Lindsay, Moore, Richard M.D., PhD., Brian Ritchie |
|---|---|
| Fecha de publicación | 1994 |
| ISBN-13 | 9781447120339 |
| ISBN-10 | 1447120337 |
| Número de Cutter | B583p |