Atsushi Togashi
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII ’97 - IFIP Advances in Information and Communication Technology Atsushi Togashi Softcover reprint of the original 1st ed. 1997 edition

Name: Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII ’97 - IFIP Advances in Information and Communication Technology
Price: 32674 JPY
Availability: OutOfStock
Author: Atsushi Togashi

価格

¥ 32.674

税抜

遠隔倉庫からの取り寄せ

発送予定日年10月19日 - 年10月29日

Atsushi Togashi の新しいリリースのお知らせを受け取る

お客様の声：

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

EU消費者保護法に基づく14日間の返品ポリシー

Trustpilotで高評価

iMusicのウィッシュリストに追加

まだ評価がありません

Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII ’97 - IFIP Advances in Information and Communication Technology

Atsushi Togashi

Softcover reprint of the original 1st ed. 1997 edition

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).

561 pages, 48 black & white illustrations, biography

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2013年1月11日
ISBN13	9781475752601
出版社	Springer-Verlag New York Inc.
ページ数	550
寸法	155 × 235 × 29 mm · 789 g
言語	英語