語系:
繁體中文
English
Francais
說明(常見問題)
回圖書館
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Understanding formal methods
紀錄類型:
書目-語言資料,印刷品 : 單行本
作者:
MoninJean Francois,
合作者:
HincheyMichael G.,
出版地:
London ;
出版者:
Springer;
出版年:
c2003.
面頁冊數:
xv, 275 p.24 cm.;
標題:
Formal methods (Computer science) -
ISBN:
1852332476
Understanding formal methods
Monin, Jean Francois
Understanding formal methods
/ written and translated by Jean Francois Monin ; translation editor, Michael G. Hinchey. - London ; : Springer, c2003.. - xv, 275 p. ; 24 cm..
Includes bibliographical references (p. [255]-267) and index..
ISBN 1852332476
Formal methods (Computer science)
Hinchey, Michael G.
Understanding formal methods
LDR
:00534nam0 2200157 i 450
001
127339
005
20120618113650.0
010
1
$a
1852332476
$b
pbk.
$d
NT2717
100
$a
20071107d2003 m y0engy01 b
101
1
$a
eng
102
$a
gb
105
$a
a z 000zy
200
1
$a
Understanding formal methods
$f
written and translated by Jean Francois Monin
$g
translation editor, Michael G. Hinchey.
210
$a
London ;
$a
New York
$d
c2003.
$c
Springer
215
1
$a
xv, 275 p.
$d
24 cm.
320
$a
Includes bibliographical references (p. [255]-267) and index.
606
$a
Formal methods (Computer science)
$3
112150
$3
220589
676
$a
004/.01/51
700
$a
Monin
$b
Jean Francois
$3
112148
701
$a
Hinchey
$b
Michael G.
$3
112149
筆 0 讀者評論
全部
4樓西文圖書區
館藏
1 筆 • 頁數 1 •
1
尋書單
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約人數
備註欄
附件
列印
00212147
4樓西文圖書區
一般圖書
一般圖書
004.0151 M744
一般使用(Normal)
在架
0
1 筆 • 頁數 1 •
1
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼
登入