Web Services and Formal Methods 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers /
This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Web Services and Formal Methods, WS-FM 2009, held in Bologna, Italy, in September 2009. The 10 revised full papers presented together with one invited paper were carefully reviewed and select...
Corporate Author: | SpringerLink (Online service) |
---|---|
Other Authors: | Laneve, Cosimo. (Editor), Su, Jianwen. (Editor) |
Format: | Electronic |
Language: | English |
Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2010.
|
Series: | Lecture Notes in Computer Science,
6194 |
Subjects: | |
Online Access: | https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-14458-5 |
Similar Items
-
Communication systems principles using MATLAB /
by: Leis, John W.,
Published: (2018) -
Systems engineering : principles and practice /
by: Kossiakoff, Alexander, 1914-2005,, et al.
Published: (2020) -
Power systems analysis illustrated with MATLAB and ETAP /
by: Madhusudan, Shertukde Hemchandra,
Published: (2019) -
Information marketing
by: Rowley, J. E.
Published: (2016) -
Designing Computer-Based Learning Materials /
by: Clarke, Alan,
Published: (2018)