.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Web Services and Formal Methods
. Ed(S): Ter Beek, Maurice H.; Lohman, Niels
€ 61.41
FREE Delivery in Ireland
Description for Web Services and Formal Methods
Paperback. Editor(s): Ter Beek, Maurice H.; Lohman, Niels. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 161 pages, 55 black & white illustrations, biography. BIC Classification: UMX; UMZ; UNH; UYZG; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 8. Weight in Grams: 240.
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Web Services and Formal Methods, WS-FM 2012, held in Tallinn, Estonia, in September 2012. The 9 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as the modeling and analysis of web services, service discovery, and service coordination with formal methods like BPEL, CSP, Maude, and Petri nets.
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Web Services and Formal Methods, WS-FM 2012, held in Tallinn, Estonia, in September 2012. The 9 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as the modeling and analysis of web services, service discovery, and service coordination with formal methods like BPEL, CSP, Maude, and Petri nets.
Product Details
Format
Paperback
Publication date
2013
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
161
Condition
New
Series
Lecture Notes in Computer Science / Programming and Software Engineering
Number of Pages
151
Place of Publication
Berlin, Germany
ISBN
9783642382291
SKU
V9783642382291
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Web Services and Formal Methods