東京都立大学図書館

Formal Techniques for Networked and Distributed Systems - FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings

Elie Najm, Jean-Francois Pradat-Peyre, Veronique Viguie Donzeau-Gouge (eds.). -- Springer, 2006. -- (Lecture notes in computer science ; 4229). <BB00307841>
登録タグ:
登録されているタグはありません
書誌URL:

所蔵一覧 1件~1件(全1件)

No. 巻号 所蔵館 配置場所 資料ID 請求記号 状態 返却予定日 予約 WEB書棚
0001 数理科学 理:数理科学図書室 シリーズ 10000941311 /549/L49c/4229 0件
No. 0001
巻号
所蔵館 数理科学
配置場所 理:数理科学図書室 シリーズ
資料ID 10000941311
請求記号 /549/L49c/4229
状態
返却予定日
予約 0件
WEB書棚

書誌詳細

標題および責任表示 Formal Techniques for Networked and Distributed Systems - FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings / Elie Najm, Jean-Francois Pradat-Peyre, Veronique Viguie Donzeau-Gouge (eds.)
出版・頒布事項 Berlin : Springer , c2006
形態事項 xii, 486 p. : ill. ; 24 cm
巻号情報
ISBN 9783540462194
書誌構造リンク Lecture notes in computer science <BB00769733> 4229//a
注記 Includes bibliographical references and index
学情ID BA78870376
本文言語コード 英語
著者標目リンク *FORTE <AU00530721>
著者標目リンク Najm, Elie <AU00587160>
著者標目リンク Pradat-Peyre, Jean-François <AU00587161>
著者標目リンク Donzeau-Gouge, Véronique Viguié <AU00587162>
分類標目 SG:004
分類標目 LCC:QA76.9.F67
分類標目 DC22:004.6/2
件名標目等 Formal methods (Computer science) -- Congresses
件名標目等 Electronic data processing -- Distributed processing -- Congresses
件名標目等 Computer network protocols -- Congresses