Ifip Tc6 Wg6 1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification Testing and Verificationのリリース

iMusicに在庫あり在庫なし商品を表示

Cover for Ifip Tc6 Wg6 1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification Testing and Verification · Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Ve (Hardcover Book) [2000 edition] (2000)

Formal Methods for Distributed S... (2000)

Ifip Tc6 Wg6 1 Joint Internation...