語系:
繁體中文
English
簡体中文
說明(常見問題)
圖書館個人資料蒐集告知聲明
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Constructing correct software : the ...
~
Cooke, John
Constructing correct software : the basics
紀錄類型:
書目-語言資料,印刷品 : 單行本
副題名:
the basics
作者:
CookeJohn,
出版地:
LondonNew York
出版者:
Springer;
出版年:
c1998
面頁冊數:
395 p.ill. : 24 cm.;
集叢名:
Formal approaches to computing
標題:
Computer software - Development -
ISBN:
3-540-76156-X
Constructing correct software : the basics
Cooke, John
Constructing correct software
= : the basics / John Cooke ; - LondonNew York : Springer, c1998. - 395 p. ; ill. ; 24 cm.. - (Formal approaches to computing ; ).
Includes index.
ISBN 3-540-76156-X
Computer software -- Development
Constructing correct software : the basics
LDR
:00657cam2 2200217 050
001
282420
005
20100521112909.0
009
00083960
010
1
$a
3-540-76156-X
$b
pbk.:alk. paper
$d
DM89.00
100
$a
20100602d1998 u y0engy09 b
101
0
$a
eng
102
$a
gb
105
$a
a z 001yy
200
1
$a
Constructing correct software
$e
the basics
$f
John Cooke
$d
$g
210
$a
LondonNew York
$a
New York
$c
Springer
$d
c1998
215
1
$a
395 p.
$c
ill.
$d
24 cm.
225
2
$a
Formal approaches to computing
$v
225
0
$1
2001
$a
Formal approaches to computing and information tech
225
$o
logy
320
$a
Includes index
606
$a
Computer software
$x
Development
$2
lc
$3
58809
676
$a
005.140151
$b
C772
700
1
$a
Cooke
$b
John
$3
242736
801
0
$a
cw
$c
19990706
$g
AACRII
筆 0 讀者評論
館藏地:
全部
B2密集書庫2
出版年:
卷號:
館藏
期刊年代月份卷期操作說明(Help)
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約人數
期刊出刊日期 / 原館藏地 / 其他備註
附件
097231
B2密集書庫2
圖書流通(BOOK_CIR)
BOOK
005.140151/C772
一般使用(Normal)
書架上
0
B2密集二
1 筆 • 頁數 1 •
1
評論
新增評論
分享你的心得
建立或儲存個人書籤
書目轉出
取書館別
處理中
...
變更密碼
登入