大葉大學圖書館 |

登入

回首頁

Applying formal methods: testing, pe...

Maamar, Zakaria

Applying formal methods: testing, performance, and M/E-commerce:FORTE 2004 workshops the FormEMC,EPEW,ITM,Toledo,...

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
書名/作者:	Applying formal methods: testing, performance, and M/E-commerce:FORTE 2004 workshops the FormEMC,EPEW,ITM,Toledo,.../ Nunez, Manuel;Maamar, Zakaria;Pelayo, Fernando L. [et al]
作者:	Nunez, Manuel
其他作者:	Maamar, Zakaria
出版者:	Berlin : Springer-Verlag, 2004
面頁冊數:	379頁; 24x16公分
標題:	Formal methods(Computer scienc
ISBN:	3540231692(平裝)

Applying formal methods: testing, performance, and M/E-commerce:FORTE 2004 workshops the FormEMC,EPEW,ITM,Toledo,...
Nunez, Manuel

Applying formal methods: testing, performance, and M/E-commerce:FORTE 2004 workshops the FormEMC,EPEW,ITM,Toledo,...Nunez, Manuel;Maamar, Zakaria;Pelayo, Fernando L. [et al] - 1st ed - BerlinSpringer-Verlag2004 - 379頁24x16公分 - Lecture Notes in Computer Science3236.

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

207638
Formal methods(Computer scienc

Applying formal methods: testing, performance, and M/E-commerce:FORTE 2004 workshops the FormEMC,EPEW,ITM,Toledo,...
LDR:00538nam 2200157 450 001 188754
008 100607t2004 de a a 000 0 eng d
020 $a 3540231692(平裝)
035 $a 9424349
040 $b eng $c DYU
041 0 # $a eng
044 $a de
100 0 $a Nunez, Manuel $3 360993
245 1 0 $a Applying formal methods: testing, performance, and M/E-commerce:FORTE 2004 workshops the FormEMC,EPEW,ITM,Toledo,... $c Nunez, Manuel;Maamar, Zakaria;Pelayo, Fernando L. [et al]
250 $a 1st ed
260 # $a Berlin $b Springer-Verlag $c 2004
300 $a 379頁 $c 24x16公分
490 0 $a Lecture Notes in Computer Science $v 3236
650 # 0 $a Formal methods(Computer scienc $3 207638
700 0 # $a Maamar, Zakaria $3 360994
700 0 # $a Pelayo, Fernando L. [et al] $3 360995