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

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

[IEEE Comput. Soc. Press [1989] Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track - Kailua-Kona, HI, USA (3-6 Jan. 1989)] [1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track - PK/C++: an object-oriented, logic-based, executable specification language

[IEEE Comput. Soc. Press [1989] Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track - Kailua-Kona, HI, USA (3-6 Jan. 1989)] [1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track - PK/C++: an object-oriented, logic-based, executable specification language

Terwilliger, R.B.; Kirslis, P.A.
  • 作者Terwilliger, R.B.; Kirslis, P.A.
  • 文件大小1151.02KB
  • 发表时间1989
  • DOI10.1109/hicss.1989.48019
  • 页码407-416
同期刊推荐
← 返回【学霸图书馆】主页
© 2026 学霸图书馆 · 让阅读成为习惯