Applying formal methods: testing, performance, and M/E-commerce : FORTE 2004 workshops TheFormEMC, EPEW, ITM : Toledo, Spain, October 1-2, 2004 : proceedings. : 1st international workshop on theory building and formal methods in electronic/mobile commerce : 1st European performance engineering workshop : 1st international workshop on integration of testing methodologies : Oct 2004, Toledo, Spain. (Lecture Notes in Computer Science ; 3236)
Applying formal methods: testing, performance, and M/E-commerce : FORTE 2004 workshops TheFormEMC, EPEW, ITM : Toledo, Spain, October 1-2, 2004 : proceedings. : 1st international workshop on theory building and formal methods in electronic/mobile commerce : 1st European performance engineering workshop : 1st international workshop on integration of testing methodologies : Oct 2004, Toledo, Spain.
Papers."This volume contains the refereed proceedings of the first edition of three workshops colocated with the International Conference on Formal Te...
"This volume contains the refereed proceedings of the first edition of three workshops colocated with the International Conference on Formal Techniques for Networked and Distributed Systems (FORTE) ." -- preface.
書誌注記
Includes bibliographical references and author index.