VDM '90. VDM and Z - Formal Methods in Software Development
Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings (Lecture Notes in Computer Science)
Edición de la obra VDM '90 VDM and Z -- Formal Methods in Software Development
| Autor | C.A.R. Hoare |
|---|---|
| Editorial | Springer |
| Fecha de publicación | May 4, 1990 |
| Idioma | inglés |
| Páginas | 580 |
| Formato | Paperback |
| ISBN-13 | 9783540525134 |
| ISBN-10 | 3540525130 |
| OCLC | 827360169 |
| Número de Cutter | H679v |