Stock image for illustration purposes only - book cover, edition or condition may vary.
Web Services and Formal Methods
Bruni
€ 64.29
FREE Delivery in Ireland
Description for Web Services and Formal Methods
Paperback. Constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Web Services and Formal Methods, WS-FM 2008, held in Milan, Italy, in September 2008 in conjunction with the 6th International Conference on Business Process Management, BPM 2008. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 251 pages, biography. BIC Classification: UKN; UKR; UMB; UMZ; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 391.
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Web Services and Formal Methods, WS-FM 2008, held in Milan, Italy, in September 2008 in conjunction with the 6th International Conference on Business Process Management, BPM 2008. The 13 revised full papers presented together with one invited paper were carefully reviewed and selected from 39 submissions. The papers feature topics such as analysis, test, and verification; choreographies and process calculi; transactions and interoperability; workflows and petri nets.
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Web Services and Formal Methods, WS-FM 2008, held in Milan, Italy, in September 2008 in conjunction with the 6th International Conference on Business Process Management, BPM 2008. The 13 revised full papers presented together with one invited paper were carefully reviewed and selected from 39 submissions. The papers feature topics such as analysis, test, and verification; choreographies and process calculi; transactions and interoperability; workflows and petri nets.
Product Details
Format
Paperback
Publication date
2009
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
251
Condition
New
Series
Lecture Notes in Computer Science / Programming and Software Engineering
Number of Pages
241
Place of Publication
Berlin, Germany
ISBN
9783642013638
SKU
V9783642013638
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Web Services and Formal Methods