Tell your friends about this item:
Web Services and Formal Methods: 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers - Programming and Software Engineering 2012 edition
Marco Carbone
Web Services and Formal Methods: 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers - Programming and Software Engineering 2012 edition
Marco Carbone
This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Web Services and Formal Methods, WS-FM 2011, held in Clermont-Ferrand, France, in September 2011. They deal with service oriented computing (SOC), cloud computing and formal methods.
143 pages, biography
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | April 23, 2012 |
ISBN13 | 9783642298332 |
Publishers | Springer-Verlag Berlin and Heidelberg Gm |
Pages | 143 |
Dimensions | 155 × 235 × 10 mm · 249 g |
Language | French |
Editor | Carbone, Marco |
Editor | Petit, Jean-Marc |