Formal techniques for computer systems and business processes 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 /

Saved in:
Bibliographic Details
Corporate Authors: EPEW (Workshop) Versailles, France), SpringerLink (Online service), International Workshop on Web Services and Formal Methods
Other Authors: Bravetti, Mario, Kloul, Leïla, Zavattaro, Gianluigi
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, ©2005.
Series:Lecture notes in computer science ; 3670.
Physical Description:
1 online resource (xiii, 348 pages) : illustrations.
Subjects:
Computer systems -- Evaluation -- Congresses.
Telecommunication systems -- Evaluation -- Congresses.
Formal methods (Computer science) -- Congresses.
Web services -- Congresses.
Online Access:SpringerLink - Click here for access
Holdings details from CMU Electronic Access C502
Copy 1 CMU Electronic Access Available

Internet

SpringerLink - Click here for access

Similar Items