Books > Reference & Interdisciplinary > Communication studies > Information theory > Cybernetics & systems theory
|
Buy Now
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 (Paperback, 2005 ed.)
Loot Price: R1,702
Discovery Miles 17 020
|
|
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 (Paperback, 2005 ed.)
Series: Theoretical Computer Science and General Issues, 3670
Expected to ship within 10 - 15 working days
|
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."
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.