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

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

[ACM Press the 15th annual conference - St. Louis, Missouri, United States (1987..-..)] Proceedings of the 15th annual conference on Computer Science - CSC '87 - Formal verification of systolic networks using theorem proving techniques (abstract only)

[ACM Press the 15th annual conference - St. Louis, Missouri, United States (1987..-..)] Proceedings of the 15th annual conference on Computer Science - CSC '87 - Formal verification of systolic networks using theorem proving techniques (abstract only)

Yun, David Y. Y.; Yun, Y.; Zhang, Chang N.

作者Yun, David Y. Y.; Yun, Y.; Zhang, Chang N.
文件大小89.95KB
发表时间1987
DOI10.1145/322917.322987

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