Hardcover Book
Show unavailable items

Releases by Ifip Tc6 Wg6 1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification Testing and Verification

September 30, 2000

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)
Hardcover Book
2000 edition
Formal Methods for Distributed S...
Ifip Tc6 Wg6 1 Joint Internation...