Cover Image

Applying formal methods : testing, performance, and M/E-commerce : FORTE 2004 workshops, TheFormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings /

Show other versions (1)
Bibliographic Details
Corporate Authors: FORTE 2004 Toledo, Spain, FormEMC (Workshop), EPEW (Workshop), ITM (Conference)
Other Authors: Núñez, Manuel (Professor)
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, 2004.
Series:Lecture notes in computer science ; 3236.
Subjects:
Formal methods (Computer science) > Congresses.
Electronic data processing > Distributed processing > Congresses.
Computer network protocols > Congresses.
Online Access:Connect to the full text of this electronic book
Description
Item Description:"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.
Physical Description:xi, 379 pages : illustrations ; 24 cm.
Also issued online.
Bibliography:Includes bibliographical references and index.
ISBN:3540231692 (pbk.)
ISSN:0302-9743 ;