[Lecture Notes in Computer Science] VDM '91 Formal Software Development Methods Volume 552 || Mathematical methods for digital systems development
Prehn, Søren; Toetenel, Hans
- 作者Prehn, Søren; Toetenel, Hans
- 文件大小1355.88KB
- 发表时间1991
- DOI10.1007/BFb0020002
- 页码406-430