[Lecture Notes in Computer Science] Recent Trends in Data Type Specification Volume 906 || Topological methods for algebraic specification
Astesiano, Egidio; Reggio, Gianna; Tarlecki, Andrzej
- 作者Astesiano, Egidio; Reggio, Gianna; Tarlecki, Andrzej
- 文件大小1110.10KB
- 发表时间1995
- DOI10.1007/BFb0014439
- 页码368-388