語系:
繁體中文
English
日文
簡体中文
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
FME 2003:formal methods:Internationa...
~
Araki Keijiro
FME 2003:formal methods:International Symposium of Formal Methods Europe
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
書名/作者:
FME 2003:formal methods:International Symposium of Formal Methods Europe/ Araki, Keijiro;Gnesi,Stefania;Mandrioli,Dino
作者:
Araki Keijiro
其他作者:
GnesiStefania
出版者:
Berlin : Springer-Verlag, 2003
面頁冊數:
942頁; 24x16公分
標題:
Computer software-Development
標題:
Formal methods (Computer scien
標題:
System design-Mathematics-Cong
ISBN:
3540408282(平裝)
FME 2003:formal methods:International Symposium of Formal Methods Europe
Araki Keijiro
FME 2003:formal methods:International Symposium of Formal Methods Europe
Araki, Keijiro;Gnesi,Stefania;Mandrioli,Dino - 1st ed - BerlinSpringer-Verlag2003 - 942頁24x16公分 - Lecture Notes in Computer Science2805.
ISBN: 3540408282(平裝)Subjects--Topical Terms:
135440
Computer software-Development
FME 2003:formal methods:International Symposium of Formal Methods Europe
LDR
:00481nam 2200157 450
001
186582
008
100623t2003 de a a 000 0 eng d
020
$a
3540408282(平裝)
035
$a
9418232
040
$b
eng
$c
DYU
041
$a
eng
044
$a
de
100
$a
Araki Keijiro
$3
207743
245
1 0
$a
FME 2003:formal methods:International Symposium of Formal Methods Europe
$c
Araki, Keijiro;Gnesi,Stefania;Mandrioli,Dino
250
$a
1st ed
260
$a
Berlin
$b
Springer-Verlag
$c
2003
300
$a
942頁
$c
24x16公分
490
$a
Lecture Notes in Computer Science
$v
2805
650
$a
Computer software-Development
$3
135440
650
$a
Formal methods (Computer scien
$3
204364
650
$a
System design-Mathematics-Cong
$3
207746
700
$a
GnesiStefania
$3
207744
700
$a
MandrioliDino
$3
207745
筆 0 讀者評論
全部
四樓西文圖書區
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
801005100000223
四樓西文圖書區
1.圖書流通
圖書(book)
005.1 AR12
1.一般(Normal)
在架
0
1 筆 • 頁數 1 •
1
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼
登入