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 - Theoretical Computer Science and General Issues 3670 (Paperback)
  • 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 - Theoretical Computer Science and General Issues 3670 (Paperback)
zoom

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 - Theoretical Computer Science and General Issues 3670 (Paperback)

(editor), (editor), (editor)
£67.99
Paperback 349 Pages / Published: 25/08/2005
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
This volume contains the proceedings of two international workshops EPEW and WS-FM held atthe Universit' ede VersaillesSaint-Quentin-en-Yvelines,V- sailles, France, 1-3 September 2005. EPEW (European Performance Engineering Workshop) and WS-FM (Int- national Workshop on Web Services and Formal Methods) were colocated to gather the researchers working across the spectrum of techniques for modelling, speci?cation, analysis and veri?cation of the behavior of computer systems and business processes. This proceedings contains a selection of 20 research contributions, out of 59 submissions, which went through a rigorous review process by international reviewers. We therefore owe special thanks to all members of both program committees of EPEW and WS-FM and their sub-referees for the excellent work they did in the short time they had. Additionally, this proceedings includes four invited papers, by Gianfranco Ciardo (University of California at Riverside), Peter G. Harrison (Imperial C- lege London), Cosimo Laneve (University of Bologna) and Wil van der Aalst (Eindhoven University of Technology). These contributions brought an ad- tional dimension to the technical and the scienti?c merit of these workshops. Finally,ourthanksgototheUniversityofVersaillesSaint-Quentin-en-Yvelines, its Laboratoire PRiSM and the CNRS for hosting the workshops and providing technicaland?nancialsupport.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540287018
Number of pages: 349
Weight: 1140 g
Dimensions: 235 x 155 x 19 mm
Edition: 2005 ed.

You may also be interested in...

Nonlinear Dynamics and Chaos
Added to basket
Cybernetic Revolutionaries
Added to basket
Sync
Added to basket
£9.99
Paperback
Introduction to Systems Theory
Added to basket
Deep Simplicity
Added to basket
£9.99
Paperback
The Computer and the Brain
Added to basket
Linked
Added to basket
£12.99
Paperback
Cybernetics
Added to basket
£8.50
Paperback
A First Course in Network Theory
Added to basket
Introducing Chaos
Added to basket
Evolution of Networks
Added to basket

Please sign in to write a review

Your review has been submitted successfully.