发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

Algebraic specification of reactive systems

Algebraic specification of reactive systems

Manfred Broy

作者Manfred Broy
卷第239卷
期第1期
印刷ISSN0304-3975
文件大小234.22KB
发表时间2000
DOI10.1016/s0304-3975(99)00212-1
页码3-40

← 返回【学霸图书馆】主页