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

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

Algebraic–coalgebraic specification in CoCasl

Algebraic–coalgebraic specification in CoCasl

Till Mossakowski; Lutz Schröder; Markus Roggenbach; Horst Reichel

作者Till Mossakowski; Lutz Schröder; Markus Roggenbach; Horst Reichel
卷第67卷
印刷ISSN1567-8326
文件大小539.56KB
发表时间2006
DOI10.1016/j.jlap.2005.09.006
页码146-197

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