직수입양서
Interactive Systems. Design, Specification, and Verification: 10th International Workshop, Dsv-Is 2003, Funchal, Madeira Island, Portugal, June 11-13,
Design, Specification, and Verification : 10th International Workshop, Dsv-Is 2003, Funchal,Madeira Islands,Portugal,June 11-13 2003 : Revised Papers
Paperback, POD 주문제작도서