臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)

关于TAIR
	计画说明

"jonsson b"的相关文件

回到依作者浏览
依题名排序	依日期排序

显示项目 26-26 / 26 (共2页)
<< < 1 2
每页显示[10|25|50]项目

机构	日期	题名	作者
臺大學術典藏	1995	Assumption/guarantee specifications in linear-time temporal logic	Jonsson, B; Tsay, Y.-K.; YIH-KUEN TSAY; Jonsson, B;Tsay, Y.-K.

显示项目 26-26 / 26 (共2页)
<< < 1 2
每页显示[10|25|50]项目

	English \| 正體中文 \| 简体中文 \| 总笔数 :2823698
	造访人次 : 30498023 在线人数 : 1374 教育部委托研究计画计画执行:国立台湾大学图书馆