大葉大學圖書館 |

登入

回首頁

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 2003de 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