Record:   Prev Next
作者 International Conference on Formal Techniques for Networked and Distributed Systems (2004 : Toledo, Spain)
書名 Applying formal methods : testing, performance, and M/E-commerce : FORTE 2004 workshops, The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings / Manuel Núñez ... [et al.] (eds.)
出版項 Berlin : Springer, 2004
國際標準書號 3540231692 (pbk.)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro C2.4 F7235 2004  workshop LNCS 3236    館內使用    30330000170394
說明 xi, 379 p. : ill. ; 24 cm
系列 Lecture notes in computer science, 0302-9743 ; 3236
附註 "Refereed proceedings of the first edition of three workshops colocated with the International Conference on Formal Techniques for Networked and Distributed Systems (FORTE) ... TheFormEMC, 1st International Workshop on Theory Building and Formal Methods in Electronic/Mobile Commerce; EPEW, 1st European Performance Engineering Workshop; ITM, 1st International Workshop on Integration of Testing Methodologies"--Pref
Includes bibliographical references and author index
Also available online
主題 Formal methods (Computer science) -- Congresses
Electronic data processing -- Distributed processing -- Congresses
Computer network protocols -- Congresses
Alt Author Núñez, Manuel
International Workshop on Theory Building and Formal Methods in Electronic/Mobile Commerce (1st : 2004 : Toledo, Spain)
European Performance Engineering Workshop (1st : 2004 : Toledo, Spain)
International Workshop on Integration of Testing Methodologies (1st : 2004 : Toledo, Spain)
Alt Title The FormEMC
EPEW
ITM
FORTE 2004 workshop
Record:   Prev Next