図書

Formal methods for web services : 9th international school on formal methods for the design of computer, communication, and software systems, SFM 2009 : Bertinoro, Italy, June 1-6, 2009 : advanced lectures. : Jun 2009, Bertinoro, Italy. (Lecture Notes in Computer Science ; 5569. Tutorial)

図書を表すアイコン

Formal methods for web services : 9th international school on formal methods for the design of computer, communication, and software systems, SFM 2009 : Bertinoro, Italy, June 1-6, 2009 : advanced lectures. : Jun 2009, Bertinoro, Italy.

(Lecture Notes in Computer Science ; 5569. Tutorial)

国立国会図書館請求記号
M17-10-746
国立国会図書館書誌ID
000010440625
資料種別
図書
著者
Bernardo, Marco.ほか
出版者
Springer
出版年
c2009.
資料形態
ページ数・大きさ等
vi, 339 p. : ill. ; 24 cm.
NDC
-
すべて見る

資料に関する注記

一般注記:

Papers.

書店で探す

書誌情報

この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。

資料種別
図書
ISBN
9783642019173 (ISBN-13 : pbk.)
364201917X (pbk.)
ISSN(シリーズ)
0302-9743
出版事項
出版年月日等
c2009.
出版年(W3CDTF)
2009