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
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
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 ...
Read More
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.
Read Less
Add this copy of Formal Techniques for Computer Systems and Business to cart. $51.26, very good condition, Sold by GuthrieBooks rated 5.0 out of 5 stars, ships from Spring Branch, TX, UNITED STATES, published 2005 by Springer.
Add this copy of Formal Techniques for Computer Systems and Business to cart. $51.65, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2005 by Springer.
Add this copy of Formal Techniques for Computer Systems and Business to cart. $58.17, new condition, Sold by GreatBookPrices rated 4.0 out of 5 stars, ships from Columbia, MD, UNITED STATES, published 2005 by Springer.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Trade paperback (US). Glued binding. 349 p. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Add this copy of Formal Techniques for Computer Systems and Business to cart. $87.78, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 2005 by Springer.