語系:
繁體中文
English
簡体中文
說明(常見問題)
圖書館個人資料蒐集告知聲明
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Workshop on Industrial-Strength Form...
~
IEEE Computer Society
Workshop on Industrial-Strength Formal Specification Techn : Engineering
紀錄類型:
書目-語言資料,印刷品 : 單行本
團體作者:
Workshop on Industrial-Strength Formal Specification Techn
合作者:
IEEE Computer Society
出版地:
Los Alamitos, Calif.
出版者:
IEEE Computer Society Press;
出版年:
c1995
面頁冊數:
172 p.ill. : 28 cm.;
標題:
Computer software - Development -
附註:
"IEEE catalog number 95TH8051"--T.p. verso
ISBN:
0-8186-7005-3
Workshop on Industrial-Strength Formal Specification Techn : Engineering
Workshop on Industrial-Strength Formal Specification Techn
Workshop on Industrial-Strength Formal Specification Techn
= : / sp ; - Los Alamitos, Calif. : IEEE Computer Society Press, c1995. - 172 p. ; ill. ; 28 cm..
"IEEE catalog number 95TH8051"--T.p. verso.
Iincludes bibliographical references and index.
ISBN 0-8186-7005-3ISBN 0-7803-2529-X
Computer software -- Development
Workshop on Industrial-Strength Formal Specification Techn : Engineering
LDR
:00831cam2 2200229 050
001
50727
005
20100521113548.0
009
00078206
010
1
$a
0-8186-7005-3
$b
pbk.
$d
NT1870
010
1
$a
0-7803-2529-X
$b
IEEE : microfiche
020
$a
us
$b
94072868
100
$a
20100528d1995 u y0engy09 b
101
0
$a
eng
102
$a
us
$b
ca
105
$a
a a 110yy
200
1
$a
Workshop on Industrial-Strength Formal Specification Techn
$q
ues
$e
$f
sp
$n
sored by IEEE Computer Society Technical Council on Softwa
$e
Engineering
$d
$g
210
$a
Los Alamitos, Calif.
$c
IEEE Computer Society Press
$d
c1995
215
1
$a
172 p.
$c
ill.
$d
28 cm.
300
$a
"IEEE catalog number 95TH8051"--T.p. verso
320
$a
Iincludes bibliographical references and index
517
1
$a
Industrial-strength formal specification techniques
606
$a
Computer software
$x
Development
$x
Congresses
$2
lc
$3
76642
676
$a
005.12028
$d
W927
710
1 2
$a
Workshop on Industrial-Strength Formal Specification Techn
$3
76640
710
$¤
Q篇
$3
1711
711
0 2
$a
IEEE Computer Society
$b
Technical Council on Software Engin
$3
76641
711
$¤
Q篇
$3
1711
801
0
$a
cw
$c
19990614
$g
AACRII
筆 0 讀者評論
館藏地:
全部
B2密集書庫2
出版年:
卷號:
館藏
期刊年代月份卷期操作說明(Help)
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約人數
期刊出刊日期 / 原館藏地 / 其他備註
附件
110106
B2密集書庫2
圖書流通(BOOK_CIR)
BOOK
005.12028/W927
一般使用(Normal)
書架上
0
B2密集二
1 筆 • 頁數 1 •
1
評論
新增評論
分享你的心得
建立或儲存個人書籤
書目轉出
取書館別
處理中
...
變更密碼
登入