大葉大學圖書館 |

登入

回首頁

Formal methods for open object based...

Najm Elie

Formal methods for open object based distributed systems: 6th IFIP WG 6.1 International conference, FMOODS 2003 ...

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
書名/作者:	Formal methods for open object based distributed systems: 6th IFIP WG 6.1 International conference, FMOODS 2003 .../ Najm, Elie;Nestmann,Uwe;Stevens,Perdita
作者:	Najm Elie
其他作者:	NestmannUwe
出版者:	Berlin : Springer-Verlag, 2003
面頁冊數:	292頁; 24x16公分
標題:	Electronic data processing - D
標題:	Object-oriented programming(Co
ISBN:	3540204911(平裝)

Formal methods for open object based distributed systems: 6th IFIP WG 6.1 International conference, FMOODS 2003 ...
Najm Elie

Formal methods for open object based distributed systems: 6th IFIP WG 6.1 International conference, FMOODS 2003 ...Najm, Elie;Nestmann,Uwe;Stevens,Perdita - 1st ed - BerlinSpringer-Verlag2003 - 292頁24x16公分 - Lecture Notes in Computer Science2884.

ISBN: 3540204911(平裝)Subjects--Topical Terms:

207696
Electronic data processing - D

Formal methods for open object based distributed systems: 6th IFIP WG 6.1 International conference, FMOODS 2003 ...
LDR:00519nam 2200157 450 001 186566
008 100623t2003 de a a 000 0 eng d
020 $a 3540204911(平裝)
035 $a 9418216
040 $b eng $c DYU
041 $a eng
044 $a de
100 $a Najm Elie $3 207693
245 1 0 $a Formal methods for open object based distributed systems: 6th IFIP WG 6.1 International conference, FMOODS 2003 ... $c Najm, Elie;Nestmann,Uwe;Stevens,Perdita
250 $a 1st ed
260 $a Berlin $b Springer-Verlag $c 2003
300 $a 292頁 $c 24x16公分
490 $a Lecture Notes in Computer Science $v 2884
650 $a Electronic data processing - D $3 207696
650 $a Object-oriented programming(Co $3 190857
700 $a NestmannUwe $3 207694
700 $a StevensPerdita $3 207695