Web Services and Formal Methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers /

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 revi...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Bruni, Roberto. (Editor), Wolf, Karsten. (Editor)
Format: SpringerLink eBooks
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Series:Lecture Notes in Computer Science, 5387
Online Access:http://dx.doi.org/10.1007/978-3-642-01364-5



3rd Floor Main Library

Call Number: A1234.567
Copy 1 Available