株式会社極東書店トップ ＞ 商品一覧 ＞ Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / PSTV XIX'99. Softcover reprint of the original 1st ed. 1999
商品詳細
Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / PSTV XIX'99. Softcover reprint of the original 1st ed. 1999
・ISBN 978-1-4757-5270-0 paper EUR 199.99
￥53,456.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
お気に入り
★★★
| 著者・編者 | Jianping Wu / Chanson, Samuel T. / Quiang Gao (eds.), |
|---|---|
| シリーズ | (IFIP Advances in Information and Communication Technology) |
| 出版社 | (Springer-Verlag New York Inc., US) |
| 出版年月 | 2013 |
| ページ数 | 500 pp. |
| 言語 | ENG |
| ニュース番号 | ＜A04-81355＞ |
解説
Formal Methods for Protocol Engineering and Distributed Systems addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools an industrialization of FDTs. Among the important features presented are:
Formal Methods for Protocol Engineering and Distributed Systems contains the proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification, which was sponsored by the International Federation for Information Processing (IFIP) and was held in Beijing, China, in October 1999.
This volume is suitable as a secondary text for a graduate level course on Distributed Systems or Communications, and as a reference for researchers and industry practitioners.
- FDT-based system and protocol engineering;
- FDT application to distributed systems;
- Protocol engineeering;
- Practical experience and case studies.
Formal Methods for Protocol Engineering and Distributed Systems contains the proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification, which was sponsored by the International Federation for Information Processing (IFIP) and was held in Beijing, China, in October 1999.
This volume is suitable as a secondary text for a graduate level course on Distributed Systems or Communications, and as a reference for researchers and industry practitioners.