Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
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,349
Discovery Miles 13 490
|
|
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
Expected to ship within 10 - 15 working days
|
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.