[중고]Formal Techniques for Networked and Distributed Systems: Forte 2001 (Hardcover, 2001) - Forte 2001 : Ifip Tc5/Wg6.1-21st International Conference on Formal Techniques for Networked and Distributed Systems August 28-31, 2001, Cheju Island,
[중고]Testing of Communicating Systems : IFIP TC6 10th International Workshop on Testing of Communicating Systems, 8-10 September 1997, Cheju Island, Korea (Hardcover, 1997 ed.)