語系:
繁體中文
English
日文
簡体中文
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Formal methods for components and ob...
~
BonsangueMarcelloM.
Formal methods for components and objects:second international symposium,FMCO 2003
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
書名/作者:
Formal methods for components and objects:second international symposium,FMCO 2003/ de Boer,Frank S.;Bonsangue,Marcello,M.;Graf,Susanne [et al]
作者:
de BoerFrank S.
其他作者:
BonsangueMarcelloM.
出版者:
Berlin : Springer-Verlag, 2004
面頁冊數:
371頁; 23x15公分
標題:
Formal methods(Computer scienc
標題:
Component software -Congresses
ISBN:
3540229426(平裝)
Formal methods for components and objects:second international symposium,FMCO 2003
de BoerFrank S.
Formal methods for components and objects:second international symposium,FMCO 2003
de Boer,Frank S.;Bonsangue,Marcello,M.;Graf,Susanne [et al] - 1st ed - BerlinSpringer-Verlag2004 - 371頁23x15公分 - Lecture Notes in Computer Science3188.
ISBN: 3540229426(平裝)Subjects--Topical Terms:
207638
Formal methods(Computer scienc
Formal methods for components and objects:second international symposium,FMCO 2003
LDR
:00506nam 2200157 450
001
190246
008
100623t2004 de a a 000 0 eng d
020
$a
3540229426(平裝)
035
$a
9427376
040
$b
eng
$c
DYU
041
$a
eng
044
$a
de
100
$a
de BoerFrank S.
$3
214415
245
1 0
$a
Formal methods for components and objects:second international symposium,FMCO 2003
$c
de Boer,Frank S.;Bonsangue,Marcello,M.;Graf,Susanne [et al]
250
$a
1st ed
260
$a
Berlin
$b
Springer-Verlag
$c
2004
300
$a
371頁
$c
23x15公分
490
$a
Lecture Notes in Computer Science
$v
3188
650
$a
Formal methods(Computer scienc
$3
207638
650
$a
Component software -Congresses
$3
211041
700
$a
BonsangueMarcelloM.
$3
214416
700
$a
GrafSusanne [et al]
$3
199972
筆 0 讀者評論
全部
四樓西文圖書區
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
801004015100011
四樓西文圖書區
1.圖書流通
圖書(book)
004.0151 B633
1.一般(Normal)
在架
0
1 筆 • 頁數 1 •
1
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼
登入