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 /

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.
Subjects:	Computer systems > Evaluation > Congresses. Formal methods (Computer science) > Congresses. Telecommunication systems > Evaluation > Congresses. Web services > Congresses. Méthodes formelles (Informatique) > Congrès. Services Web > Congrès. Systèmes informatiques > Évaluation > Congrès. Télécommunications, Systèmes de > Évaluation > Congrès. Évaluation. Méthode formelle. Service Web. Système d'information. Système de télécommunication. Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online