大葉大學圖書館 |

登入

回首頁

Formal methods and software engineer...

Dong Jin Song

Formal methods and software engineering:5th International Conference on Formal Engineering Methods, ICFEM 2003

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
書名/作者:	Formal methods and software engineering:5th International Conference on Formal Engineering Methods, ICFEM 2003/ Dong, Jin Song;Woodcock,Jim
作者:	Dong Jin Song
其他作者:	WoodcockJim
出版者:	Berlin : Springer-Verlag, 2003
面頁冊數:	681頁; 24x16公分
標題:	Formal methods(Computer scienc
標題:	Software engineering-Congresse
ISBN:	354020461X(平裝)

Formal methods and software engineering:5th International Conference on Formal Engineering Methods, ICFEM 2003
Dong Jin Song

Formal methods and software engineering:5th International Conference on Formal Engineering Methods, ICFEM 2003Dong, Jin Song;Woodcock,Jim - 1st ed - BerlinSpringer-Verlag2003 - 681頁24x16公分 - Lecture Notes in Computer Science2885.

ISBN: 354020461X(平裝)Subjects--Topical Terms:

207638
Formal methods(Computer scienc

Formal methods and software engineering:5th International Conference on Formal Engineering Methods, ICFEM 2003
LDR:00502nam 2200157 450 001 186547
008 100623t2003 de a a 000 0 eng d
020 $a 354020461X(平裝)
035 $a 9418190
040 $b eng $c DYU
041 $a eng
044 $a de
100 $a Dong Jin Song $3 207636
245 1 0 $a Formal methods and software engineering:5th International Conference on Formal Engineering Methods, ICFEM 2003 $c Dong, Jin Song;Woodcock,Jim
250 $a 1st ed
260 $a Berlin $b Springer-Verlag $c 2003
300 $a 681頁 $c 24x16公分
490 $a Lecture Notes in Computer Science $v 2885
650 $a Formal methods(Computer scienc $3 207638
650 $a Software engineering-Congresse $3 204328
700 $a WoodcockJim $3 207637