Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers /
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 s...
Corporate Author: | SpringerLink (Online service) |
---|---|
Other Authors: | Beek, Maurice H. (Editor), Lohmann, Niels. (Editor) |
Format: | Electronic |
Language: | English |
Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2013.
|
Series: | Lecture Notes in Computer Science,
7843 |
Subjects: | |
Online Access: | https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-38230-7 |
Similar Items
-
Learning malware analysis : explore the concepts, tools, and techniques to analyze and investigate Windows malware /
by: Monnappa K A,
Published: (2018) -
Communication systems principles using MATLAB /
by: Leis, John W.,
Published: (2018) -
Designing Computer-Based Learning Materials /
by: Clarke, Alan,
Published: (2018) -
Systems engineering : principles and practice /
by: Kossiakoff, Alexander, 1914-2005,, et al.
Published: (2020) -
Malware analysis and detection engineering : a comprehensive approach to detect and analyze modern malware /
by: Mohanta, Abhijit,, et al.
Published: (2020)