دانلود کتاب Formal Description Techniques, IV. Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '91, Sydney, Australia, 19–22 November 1991
by K.R. Parker
|
عنوان فارسی: تکنیک های توصیف رسمی ، چهارم. |