Library of American University of Madaba

Normal View MARC View ISBD View

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 / Mario Bravetti, Leila Kloul, Gianluigi Zavattaro (eds). - New York, NY : Springer, 2005. - xiii, 348 p. - Lecture notes in computer science ; 3670 .

ISBN: 9783540287018 (softcover : alk. paper) 3540287019 (softcover : alk. paper)

Subjects--Topical Terms:
Computer systems--Evaluation
Formal methods (Computer science)
Telecommunication systems--Evaluation.
Web services.
Software engineering.
Logic design.
Computer science
Stochastic models.

Dewey Class. No.: 004.2 / E893