Communication Protocol Specification and Verification - The Springer International Series in Engineering and Computer Science - Richard Lai - 書籍 - Springer - 9780792382843 - 1998年9月30日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Richard Lai
Communication Protocol Specification and Verification - The Springer International Series in Engineering and Computer Science 1998 edition

価格
¥ 32.402
税抜

遠隔倉庫からの取り寄せ

発送予定日 年10月19日 - 年10月29日
Richard Lai の新しいリリースのお知らせを受け取る

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

まだ評価がありません

他の形態でも入手可能：

Protocol verification is a process of checking whether the interactions of protocol entities, according to the protocol specification, do indeed satisfy certain properties or conditions which may be either general (e.g., absence of deadlock) or specific to the particular protocol system directly derived from the specification.

327 pages, biography

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 1998年9月30日
ISBN13 9780792382843
出版社 Springer
ページ数 304
寸法 161 × 244 × 23 mm   ·   666 g
言語 英語  

同じ出版社からのその他の記事

Richard Laiのすべてを見る