Formal Techniques For Computer Systems And Business Processes
Proceedings Of The European Performance Engineering Workshop, Epew 2005And International Workshop On Web Services And Formal Methods, Ws-Fm 2005, Versailles, France, September 1-3, 2005
Springer-Verlag Berlin And Heidelberg Gmbh & Co. Kg (Germany), 2005
Paperback, 362 pages
Size: 235x155 mm
ISBN: 9783540287018
ISBN-10: 3540287019
Formal Techniques For Computer Systems And Business Processes
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.

