Formal techniques for computer systems and business processes
Subtitle: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005 : proceedings
By: Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro (eds.).
Contributors: Bravetti, Mario.; Kloul, Leïla.; Zavattaro, Gianluigi.; International Workshop on Web Services and Formal Methods (2005 : Versailles, France)
Series: Lecture notes in computer science -- 3670.
Publisher: Springer
Published: 2005
Place of publication: Berlin; New York
Language: eng
Number of pages: 348
Subjects: Computer systems -- Evaluation -- Congresses.; Telecommunication systems -- Evaluation -- Congresses.; Formal methods (Computer science) -- Congresses.; Web services -- Congresses.
Genres: Congresses.
Other titles: EPEW 2005.; WS-FM 2005.
Notes: Includes bibliographical references and index.