語系:
繁體中文
English
簡体中文
說明(常見問題)
圖書館個人資料蒐集告知聲明
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Z : an introduction to formal methods
~
Diller, Antoni
Z : an introduction to formal methods
紀錄類型:
書目-語言資料,印刷品 : 單行本
副題名:
an introduction to formal methods
作者:
DillerAntoni,
出版地:
Chichester, West Sussex, EnglandNew York
出版者:
Wiley & Sons;
版本:
2nd ed.
面頁冊數:
374 p.ill. : 25 cm.;
標題:
Z (Computer program language) -
ISBN:
0-471-93973-0
Z : an introduction to formal methods
Diller, Antoni
Z
= : an introduction to formal methods / Antoni Diller ; - 2nd ed.. - Chichester, West Sussex, EnglandNew York : Wiley & Sons, . - 374 p. ; ill. ; 25 cm..
Includes bibliographical references (p. 357-362) and index.
ISBN 0-471-93973-0
Z (Computer program language)
Z : an introduction to formal methods
LDR
:00603cam2 2200205 050
001
49570
005
20100521113358.0
009
00082995
010
1
$a
0-471-93973-0
$b
pbk.
$d
NT1060
100
$a
20100528d1994 u y0engy09 b
101
0
$a
eng
102
$a
gb
105
$a
a a 001yy
200
1
$a
Z
$e
an introduction to formal methods
$f
Antoni Diller
$d
$g
205
$a
2nd ed.
210
$a
Chichester, West Sussex, EnglandNew York
$a
New York
$c
Wiley & Sons
$d
210
$9
94
215
$a
374 p.
$c
ill.
$d
25 cm.
320
$a
Includes bibliographical references (p. 357-362) and index
606
$a
Z (Computer program language)
$2
lc
$3
74978
676
$a
005.12
$b
D579
700
1
$a
Diller
$b
Antoni
$3
74977
801
0
$a
cw
$c
19990711
$g
AACRII
筆 0 讀者評論
館藏地:
全部
B2密集書庫2
出版年:
卷號:
館藏
期刊年代月份卷期操作說明(Help)
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約人數
期刊出刊日期 / 原館藏地 / 其他備註
附件
104017
B2密集書庫2
圖書流通(BOOK_CIR)
BOOK
005.12/D579
一般使用(Normal)
書架上
0
B2密集二
1 筆 • 頁數 1 •
1
建立或儲存個人書籤
書目轉出
取書館別
處理中
...
變更密碼
登入