株式会社極東書店トップ ＞ 商品一覧 ＞ Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97. Softcover reprint of the original 1st ed. 1997
商品詳細
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97. Softcover reprint of the original 1st ed. 1997
・ISBN 978-1-4757-5260-1 paper EUR 199.99
￥53,456.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
お気に入り
★★★
| 著者・編者 | Togashi, Atsushi / Mizuno, Tadanori / Shiratori, Norio / Higashino, Teruo, |
|---|---|
| シリーズ | (IFIP Advances in Information and Communication Technology) |
| 出版社 | (Springer-Verlag New York Inc., US) |
| 出版年月 | 2013 |
| ページ数 | 550 pp. |
| 言語 | ENG |
| ニュース番号 | ＜A04-80218＞ |
解説
FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic). The conference is a forum for presentation of the state-of-the-art in theory, application, tools and industrialization of FDTs, and provides an excellent orientation for newcomers.