語系:
繁體中文
English
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Second International Conference on F...
~
Hinchey, Michael G (1969)
Second International Conference on Formal Engineering Methods : proceedings : December 9-11, 1998, Brisbane, Australia
紀錄類型:
書目-語言資料,印刷品 : 單行本
副題名:
proceedings : December 9-11, 1998, Brisbane, Australia
其他作者:
StaplesJohn,
其他作者:
HincheyMichael G, 1969
其他作者:
LiuShaoying, 1960
團體作者:
IEEE International Conference on Formal Engineering Methods1998
合作者:
IEEE Computer Society.2
出版地:
Los Alamitos, California
出版者:
IEEE Computer Society Press; IEEE Computer Society Press;
出版年:
c1998
面頁冊數:
xi, 235 pill : 28 cm;
標題:
Engineering - Methodology -
標題:
Computer software - Development -
附註:
"ICFEM'98"--half T.p
ISBN:
0818691980
Second International Conference on Formal Engineering Methods : proceedings : December 9-11, 1998, Brisbane, Australia
IEEE International Conference on Formal Engineering Methods
Second International Conference on Formal Engineering Methods
: proceedings : December 9-11, 1998, Brisbane, Australia / edited by John Staples, Michael G. Hinchey, and Shaoying Liu ; sponsored by IEEE Computer Society ... [et al.] - Los Alamitos, California : IEEE Computer Society Press, c1998. - xi, 235 p ; ill ; 28 cm.
"ICFEM'98"--half T.p"IEEE Computer Society Order Number PR09198"--verso of T.p"IEEE Order Plan Catalog Number 98EX2421"--verso of T.p.
Includes bibliographical references and author index.
ISBN 0818691980
EngineeringComputer software -- Methodology -- Development
Staples, John
Second International Conference on Formal Engineering Methods : proceedings : December 9-11, 1998, Brisbane, Australia
LDR
:01074cam 2200241 i 450
001
448331
009
a(OCoLC)40434112
009
a98087878 98087878
010
1
$a
0818691980
$b
(pbk.)
100
$a
20010221d1998 m y0engy01 b
101
0
$a
eng
105
$a
a z 001zy
200
1
$a
Second International Conference on Formal Engineering Methods
$e
proceedings : December 9-11, 1998, Brisbane, Australia
$f
edited by John Staples, Michael G. Hinchey, and Shaoying Liu ; sponsored by IEEE Computer Society ... [et al.]
210
$a
Los Alamitos, California
$c
IEEE Computer Society Press
$d
c1998
$c
IEEE Computer Society Press
215
1
$a
xi, 235 p
$c
ill
$d
28 cm
300
$a
"ICFEM'98"--half T.p
300
$a
"IEEE Computer Society Order Number PR09198"--verso of T.p
300
$a
"IEEE Order Plan Catalog Number 98EX2421"--verso of T.p
320
$a
Includes bibliographical references and author index
510
1
$a
Formal Engineering Methods
606
$2
lc
$a
Engineering
$x
Methodology
$3
430257
606
$2
lc
$a
Computer software
$x
Development
$3
390361
676
$a
620.0028
$b
F723
676
$a
620/.0028
$v
2100
680
$a
TA5
$b
I415 199804
702
$a
Staples
$b
John
$3
430252
702
$a
Hinchey
$b
Michael G
$f
1969
$3
430253
702
$a
Liu
$b
Shaoying
$f
1960
$3
430254
710
$a
IEEE International Conference on Formal Engineering Methods
$e
Brisbane, Qld.)2
$d
(2nd
$f
1998
$3
430255
711
$a
IEEE Computer Society.2
$3
430256
801
1
$a
cw
$b
國立虎尾科技大學圖書館圖書館
$c
20010206
筆 0 讀者評論
全部
圖書館3F 書庫
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
E020205
圖書館3F 書庫
一般圖書(BOOK)
一般圖書
620.0028 F723 1998
一般使用(Normal)
在架
0
預約
1 筆 • 頁數 1 •
1
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入