دانلود کتاب Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
by Gerard J. Holzmann (auth.)
|
عنوان فارسی: تکنیک های رسمی برای سیستم های توزیع: مشترک تاریخ 12th IFIP WG 6.1 کنفرانس بین المللی، FMOODS 2010 و 30 IFIP WG 6.1 کنفرانس بین المللی، FORTE 2010، آمستردام، هلند، ژوئن 7-9، 2010. مجموعه مقالات |