دانلود کتاب Formal Techniques for Networked and Distributed Systems - FORTE 2003: 23rd IFIP WG 6.1 International Conference Berlin, Germany, September 29 – October 2, 2003 Proceedings
by Paweł Rychwalski
|
عنوان فارسی: تکنیک های رسمی برای شبکه و سیستم های توزیع - FORTE 2003: 23 IFIP WG 6.1 کنفرانس برلین بین المللی، آلمان، سپتامبر 29 - 2003 اکتبر 2 مجموعه مقالات |