VDM '90 VDM and Z- Formal Methods in Software Development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings
Bok Engelsk 1990
| Utgitt | Springer Berlin Heidelberg, , 1990.
|
|---|---|
| Omfang | 1 online resource
|
| Emner | |
| ISBN | 3-540-52513-0
|
