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

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

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Translation validation for synchronous languages

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 1443 || Translation validation for synchronous languages

Larsen, Kim G.; Skyum, Sven; Winskel, Glynn

作者Larsen, Kim G.; Skyum, Sven; Winskel, Glynn
文件大小607.01KB
发表时间1998
DOI10.1007/bfb0055057
页码235-246

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