大葉大學圖書館 |

登入

回首頁

Formal methods and software engineer...

BarnettMike

Formal methods and software engineering : 6th international conference on Formal Engineering methods,ICFEM 2004...

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
書名/作者:	Formal methods and software engineering : 6th international conference on Formal Engineering methods,ICFEM 2004.../ Davies,Jim;Schulte,Wolfram;Barnett,Mike
作者:	DaviesJim
其他作者:	SchulteWolfram
出版者:	Berlin : Springer-Verlag, 2004
面頁冊數:	500頁; 23x15公分
標題:	Formal methods(Computer scienc
標題:	Software engineering -Congress
ISBN:	3540238417(平裝)

Formal methods and software engineering : 6th international conference on Formal Engineering methods,ICFEM 2004...
DaviesJim

Formal methods and software engineering : 6th international conference on Formal Engineering methods,ICFEM 2004...Davies,Jim;Schulte,Wolfram;Barnett,Mike - 1st ed - BerlinSpringer-Verlag2004 - 500頁23x15公分 - Lecture Notes in Computer Science3308.

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

207638
Formal methods(Computer scienc

Formal methods and software engineering : 6th international conference on Formal Engineering methods,ICFEM 2004...
LDR:00518nam 2200157 450 001 188289
008 100623t2004 de a a 000 0 eng d
020 $a 3540238417(平裝)
035 $a 9423197
040 $b eng $c DYU
041 $a eng
044 $a de
100 $a DaviesJim $3 211074
245 1 0 $a Formal methods and software engineering : 6th international conference on Formal Engineering methods,ICFEM 2004... $c Davies,Jim;Schulte,Wolfram;Barnett,Mike
250 $a 1st ed
260 $a Berlin $b Springer-Verlag $c 2004
300 $a 500頁 $c 23x15公分
490 $a Lecture Notes in Computer Science $v 3308
650 $a Formal methods(Computer scienc $3 207638
650 $a Software engineering -Congress $3 211077
700 $a SchulteWolfram $3 211075
700 $a BarnettMike $3 211076