Web Services and Formal Methods : Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings | 東京工業大学附属図書館蔵書検索

>> Google Books

所蔵情報QRコード

Web Services and Formal Methods : Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings / Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro (eds.)

資料種別:

図書

出版情報:

Berlin : Springer, c2006

形態:

x, 287 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 4184 <BA00009279>

著者名:

ISBN:

9783540388623 [3540388621]

書誌ID:

BA78441584

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:	Includes bibliographical references and index
主題:	Formal methods (Computer science)--Congresses; Web services--Congresses
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 図書 Formal techniques for computer systems and business processes : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services … Bravetti, Mario, Kloul, Leïla, Zavattaro, Gianluigi Springer	7 図書 Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings ICFEM, Liu, Zhiming, He, Jifeng, 1943- Springer
2 電子ブック Web Services and Formal Methods Bravetti, Mario, Kanade, Takeo, Nau?nez, Manuel, Núñez, Manuel, Zavattaro, Gianluigi SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	8 図書 Proceedings of the 1st Workshop on Middleware for Service Oriented Computing (MW4SOC 2006) : held at the ACM/IFIP/USENIX International Middleware Conference, … Workshop on Middleware for Service Oriented Computing, Göschka, Karl M., International Middleware Conference ACM Press
3 電子ブック Web Services and Formal Methods Bravetti, Mario, Kanade, Takeo, Nau?nez, Manuel, N??ez, Manuel, Zavattaro, Gianluigi Springer eBooks Computer Science, Springer Berlin Heidelberg	9 図書 FM '99 - Formal Methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings (v. 1 ; v. 2) World Congress on Formal Methods in the Development of Computing Systems, Wing, Jeannette Marie, Woodcock, James, … Springer
4 図書 Proceedings, 14th International Workshop on Research Issues on Data Engineering : Web services for e-commerce and e-governemnt applications : (RIDE-WS-ECEG) : … International Workshop on Research Issues in Data Engineering, Bouguettaya, Athman, Benatallah, Boualem, IEEE Computer … IEEE Computer Society	10 電子ブック Web Services and Formal Methods Bravetti, Mario, Bultan, Tevfik, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg
5 図書 FM 2006 : Formal Methods : 14th International Symposium on Formal Methods Hamilton, Canada, August 21-27, 2006 : proceedings FM, Misra, Jayadev, Nipkow, Tobias, 1958-, Sekerinski, E. (Emil), 1963- Springer	11 電子ブック Formal Methods for Web Services Bernardo, Marco, Kanade, Takeo, Padovani, Luca, Zavattaro, Gianluigi Springer eBooks Computer Science, Springer Berlin Heidelberg
6 図書 FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings International Symposium of Formal Methods Europe, 荒木, 啓二郎, Gnesi, Stefania, 1954-, Mandrioli, Dino Springer	12 電子ブック Formal Methods for Web Services Bernardo, Marco, Kanade, Takeo, Padovani, Luca, Zavattaro, Gianluigi SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12