Mendeley出力
Web Services and Formal Methods : 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers / edited by Mario Bravetti, Tevfik Bultan
(Lecture Notes in Computer Science ; 6551)
| データ種別 | 電子ブック |
|---|---|
| 著者標目 | *Bravetti, Mario Bultan, Tevfik SpringerLink (Online service) |
| 出版者 | Berlin, Heidelberg : Springer Berlin Heidelberg |
| 出版年 | 2011 |
書誌詳細を非表示
| 巻次 | ISBN:9783642195891 |
|---|---|
| 大きさ | v.: digital |
| 本文言語 | 英語 |
| 件 名 | LCSH:Computer science LCSH:Software engineering LCSH:Information storage and retrieval systems LCSH:Information systems LCSH:Information Systems FREE:Computer Science FREE:Information Systems Applications (incl.Internet) FREE:Software Engineering FREE:Management of Computing and Information Systems FREE:Information Storage and Retrieval FREE:User Interfaces and Human Computer Interaction |
| 書誌ID | OB00002212 |
| ISBN | 9783642195891 |
| NCID | LB40005942 |