J. Dix, Formal Methods for Interact

J. Dix, Formal Methods for Interactive Systems, Academic Press, 1991

Kết quả (Việt) 1:

J. Dix, các phương pháp hình thức cho các hệ thống tương tác, học tập báo chí, 1991

Kết quả (Việt) 2:

J. Dix, phương pháp chính thức cho hệ thống tương tác, Academic Press, 1991