by Gianluigi Zavattaro (Author), Mario Bravetti (Author), Gianluigi Zavattaro (Author), Leila Kloul (Author), Mario Bravetti (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: 368
Edition: 2005
Publisher: Springer
Published: 13 Jun 2008
ISBN 10: 3540287019
ISBN 13: 9783540287018