主畫面 | 輔助說明 | 重新查詢 | English Mode

中研院圖書館首頁


重新查詢 Hold this item 轉出資料 MARC 顯示 返回瀏覽 其他查詢
   
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
請按以下連結
Connect to this title online
館藏地 索書號 處理狀態 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
重新查詢 Hold this item 轉出資料 MARC 顯示 返回瀏覽 其他查詢


主畫面 | 輔助說明 | English Mode