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

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

Remote Storage