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
Show all versions (2)