دانلود کتاب Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20–22, 2002, Enschede, The Netherlands
by Matthew Dwyer (auth.)
|
عنوان فارسی: روش رسمی برای گسترش شیئی گرا توزیع سیستم های V: IFIP TC6 / WG6.1 پنجم کنفرانس بین المللی روش های رسمی برای گسترش شی مبتنی بر سیستم های توزیع شده (FMOODS 2002) 20-22 مارس، 2002، انسخده، هلند |