借閱次數: 0
|
Web services and formal methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008 ; revised selected papers /
- 作者:edited by Roberto Bruni, Karsten Wolf
- 出版者:Springer Berlin Heidelberg
- 出版地:Berlin, Heidelberg :
- 語文:英語
- 叢書名:Lecture notes in computer science ;
- 電子資源:連結全文
- ISBN/ISSN/ISRC:9783642013645 ((electronic bk.)) ; 9783642013638 ((paper))
- 作者:Bruni Roberto;Wolf Karsten
- 索書號:004.0151
- 團體作者:
|