語系:
繁體中文
English
說明(常見問題)
圖資館首頁
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Z :an introduction to formal methods /
~
Diller, Antoni.
Z :an introduction to formal methods /
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
Z :Antoni Diller.
其他題名:
an introduction to formal methods /
作者:
Diller, Antoni.
出版者:
Chichester, West Sussex, England :Wiley & Sons,c1994.
面頁冊數:
xix, 374 p. :ill. ;25 cm.
標題:
Z (Computer program language)
ISBN:
0471939730 (pbk.) :
Z :an introduction to formal methods /
Diller, Antoni.
Z :
an introduction to formal methods /Antoni Diller. - 2nd ed. - Chichester, West Sussex, England :Wiley & Sons,c1994. - xix, 374 p. :ill. ;25 cm.
Includes bibliographical references (p. 357-362) and index.
ISBN: 0471939730 (pbk.) :NT$2985
LCCN: 94004943 Subjects--Topical Terms:
249289
Z (Computer program language)
LC Class. No.: QA76.73.Z2 / D55 1994
Dewey Class. No.: 005.1/2
Z :an introduction to formal methods /
LDR
:00600pam 2200193 a 450
001
173072
005
20070524093848.0
008
090528s1994 enka b 001 0 eng
010
$a
94004943
020
$a
0471939730 (pbk.) :
$c
NT$2985
035
$a
00266114
040
$a
DLC
$c
DLC
$d
DLC
041
0
$a
eng
050
0 0
$a
QA76.73.Z2
$b
D55 1994
082
0 0
$2
20
$a
005.1/2
100
$a
Diller, Antoni.
$3
249288
245
1 0
$a
Z :
$b
an introduction to formal methods /
$c
Antoni Diller.
250
$a
2nd ed.
260
$a
Chichester, West Sussex, England :
$c
c1994.
$b
Wiley & Sons,
300
$a
xix, 374 p. :
$b
ill. ;
$c
25 cm.
504
$a
Includes bibliographical references (p. 357-362) and index.
650
$a
Z (Computer program language)
$3
249289
筆 0 讀者評論
全部
西方語文圖書區(四樓)
館藏
1 筆 • 頁數 1 •
1
條碼號
館藏地
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
320000158693
西方語文圖書區(四樓)
1圖書
一般圖書
QA76.73.Z2 D578 1994
一般使用(Normal)
在架
0
1 筆 • 頁數 1 •
1
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼
登入