by Gianluigi Zavattaro (Author), Mario Bravetti (Author), Mario Bravetti (Author), Leila Kloul (Author), Gianluigi Zavattaro (Author)
Constitutes the proceedings of two colocated international workshops European Performance Engineering Workshop 2005 and Web Services and Formal Methods 2005 held in Versailles, France in September 2005. This book includes 20 papers that were reviewed and selected from 59 submissions.
Format: Paperback
Pages: 349
Publisher: Springer
Published: 25 Aug 2005
ISBN 10: 3540287019
ISBN 13: 9783540287018