Web services and formal methods 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010 : revised selected papers /
This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Web Services and Formal Methods, WS-FM 2010, held in Hoboken, NJ, USA, in September 2010. The 11 revised full papers presented together with one invited paper were carefully reviewed and sele...
保存先:
主要な著者: | , , |
---|---|
フォーマット: | Livro |
言語: | Inglês |
出版事項: |
Springer,
2011
|
シリーズ: | Lectures notes in computer science |
主題: | |
オンライン・アクセス: | https://minerva.ufrj.br/F/?func=direct&doc_number=000911689&local_base=UFR01 |
タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|