|
Books > Computing & IT > Computer programming > Programming languages
|
Not currently available
Web Services and Formal Methods - 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers (Paperback, 2013 ed.)
Loot Price: R1,201
Discovery Miles 12 010
|
|
|
Web Services and Formal Methods - 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers (Paperback, 2013 ed.)
Series: Programming and Software Engineering, 7843
Supplier out of stock. If you add this item to your wish list we will let you know when it becomes available.
|
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.
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.