دانلود کتاب Formal Techniques for Networked and Distributed Systems - FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings
by Ittai Balaban
|
عنوان فارسی: تکنیک های رسمی برای شبکه و سیستم های توزیع - FORTE 2005: 25 IFIP WG 6.1 کنفرانس بین المللی، تایپه، تایوان، 02-05 اکتبر، 2005. مجموعه مقالات |