Formal Methods for Open Object-Based Distributed Systems IV : IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6-8, 2000, Stanford, California, USA
فرمت کتاب
ebook
زبان
english
تاریخ انتشار
2000
نویسنده
Scott F Smith; Carolyn L Talcottشابک
9780387355207
کتاب های مرتبط
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران