Applying formal methods
Subtitle: testing, performance, and M/E-commerce : FORTE 2004 workshops, TheFormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings
By: Manuel Núñez ... [et al.] (eds.).
Contributors: Núñez, Manuel, Profesor.; EPEW (Workshop) (1st : 2004 : Toledo, Spain); ITM (Conference) (1st : 2004 : Toledo, Spain)
Series: Lecture notes in computer science -- 3236
Publisher: Springer
Published: 2004
Place of publication: Berlin; New York
Language: eng
Number of pages: 379
Subjects: Formal methods (Computer science) -- Congresses; Electronic data processing -- Distributed processing -- Congresses; Computer network protocols -- Congresses
Genres: Congresses.
Notes: Includes bibliographical references and index.