.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Formal Techniques for Computer Systems and Business Processes
Mario . Ed(S): Bavetti
€ 71.47
FREE Delivery in Ireland
Description for Formal Techniques for Computer Systems and Business Processes
Paperback. 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. Editor(s): Bavetti, Mario. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 362 pages, biography. BIC Classification: GPFC. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 516.
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 ... 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 ... Read more
Product Details
Format
Paperback
Publication date
2005
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
362
Condition
New
Series
Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
Number of Pages
349
Place of Publication
Berlin, Germany
ISBN
9783540287018
SKU
V9783540287018
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Formal Techniques for Computer Systems and Business Processes