語系:
繁體中文
English
簡体中文
說明(常見問題)
圖書館個人資料蒐集告知聲明
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
A rule-based approach to producing Z...
~
Lee Jonathan.
A rule-based approach to producing Z specifications from J
紀錄類型:
書目-語言資料,印刷品 : 單行本
作者:
Lee Jonathan.
合作者:
Pan Jiann-I.
出版者:
出版年:
c1998.
面頁冊數:
1v.(various pagings)ill. : 29 cm.;
標題:
Artificial intelligence. -
標題:
Expert systems (Computer science). -
附註:
Including bibliographies.
A rule-based approach to producing Z specifications from J
Lee Jonathan.
A rule-based approach to producing Z specifications from J
= : / Jonathan Lee Jiann-I Pan. ; - : , c1998.. - 1v.(various pagings) ; ill. ; 29 cm..
Including bibliographies.Combined with An integrated combination of JSD and formalnotationsJonathan Lee Jiann-I Pan Nien-Lin Xue Wei-Teh Huang OOSZ an integration of Bailin's object-oriented anaylsis and formal specificationsJonathan Lee Jiann-I Pan Wei T. Huang ..
Artificial intelligence.Expert systems (Computer science).
Pan Jiann-I.
A rule-based approach to producing Z specifications from J
LDR
:00944cam2 2200217 050
001
112230
005
20100520152153.0
009
00133041
010
1
$b
pbk.
100
$a
20100529d1998 m y0engy08 e
101
0
$a
eng
102
$a
us
105
$a
m z 000yy
200
0
$a
A rule-based approach to producing Z specifications from J
$f
Jonathan Lee Jiann-I Pan.
$d
$e
$g
210
$d
c1998.
$a
$c
215
1
$a
1v.(various pagings)
$c
ill.
$d
29 cm.
300
$a
Including bibliographies.
300
$a
Combined with An integrated combination of JSD and formalnotationsJonathan Lee Jiann-I Pan Nien-Lin Xue Wei-Teh Huang OOSZ an integration of Bailin's object-oriented anaylsis and formal specificationsJonathan Lee Jiann-I Pan Wei T. Huang .
517
1
$a
An integrated combination of JSD and formal notations.
$z
eng
517
1
$a
OOSZ an integration of Bailin's object-oriented anaylsis and formal specifications.
$z
eng
606
$a
Artificial intelligence.
$2
lc
$3
27475
606
$a
Expert systems (Computer science).
$2
lc
$3
111704
676
$a
006.3
$b
L477
700
1
$a
Lee Jonathan.
$3
110806
701
1
$a
Pan Jiann-I.
$3
111703
801
0
$a
tw
$c
20031021
$g
CCR
筆 0 讀者評論
館藏地:
全部
B2密集書庫2
出版年:
卷號:
館藏
期刊年代月份卷期操作說明(Help)
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約人數
期刊出刊日期 / 原館藏地 / 其他備註
附件
160654
B2密集書庫2
圖書流通(BOOK_CIR)
BOOK
006.3/L477
一般使用(Normal)
書架上
0
B2密集二
1 筆 • 頁數 1 •
1
評論
新增評論
分享你的心得
建立或儲存個人書籤
書目轉出
取書館別
處理中
...
變更密碼
登入