1
منشور في 2006
جدول المحتويات: ... -- Communication and Cooperation -- Performative Patterns for Designing Verifiable ACLs -- Enabling Mobile Agents...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2010
جدول المحتويات: ...Invited Talks -- A Structure for Dependability Arguments -- Formal Probabilistic Analysis: A Higher...
احصل على النص الكامل
الكتروني كتاب الكتروني