博文
review: Thirty years of algebraic specification
|||
Editorial
Thirty years of algebraic specification
The Journal of Logic and Algebraic Programming 67 (2006) 1–2
the ADJ group
CASL (the specification language developed within the CoFI initiative)
Thirty years of algebraic specification.pdf
https://m.sciencenet.cn/blog-468147-693588.html
上一篇：review: Searching for Jim Gray: A Technical Overview
下一篇：事务
扫一扫，分享此博文