[Lecture Notes in Computer Science] Recent Trends in Data Type Specification Volume 906 || Algebraic specification languages: An overview
Astesiano, Egidio; Reggio, Gianna; Tarlecki, Andrzej
- 作者Astesiano, Egidio; Reggio, Gianna; Tarlecki, Andrzej
- 文件大小2559.52KB
- 发表时间1995
- DOI10.1007/bfb0014423
- 页码81-115