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...
| সংস্থা লেখক: | , |
|---|---|
| অন্যান্য লেখক: | , |
| বিন্যাস: | Electronic Resource |
| ভাষা: | ইংরেজি |
| প্রকাশিত: |
Berlin, Heidelberg, New York
Springer
c2011.
|
| মালা: | Lecture Notes in Computer Science
6551 |
| বিষয়গুলি: | |
| অনলাইন ব্যবহার করুন: | Available for University of the Philippines Diliman via SpringerLink. Click here to access |