دانلود کتاب Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

روش های رسمی برای سیستم های توزیع شده مبتنی بر شی:: 9th IFIP WG 6.1 کنفرانس بین المللی ، FMOODS 2007 ، پافوس ، قبرس ، 6-8 ژوئن 2007. مجموعه مقالات

زبان : English

نویسندگان : Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida (auth.), Marcello M. Bonsangue, Einar Broch Johnsen (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2007

ISBN (شابک) : 3540729194, 9783540729198

ویرایش : [1 ed.]

سری : Lecture Notes in Computer Science 4468

تعداد صفحات : 317[326]

حجم : 4 مگابایت

فرمت کتاب : pdf

قیمت : 36000 تومان