1
منشور في 2014
جدول المحتويات: ... -- Modeling and verifying imprecise requirements of systems using Event-B Resolution in Linguistic...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2014
جدول المحتويات: ...Introduction to Track on Engineering Virtualized Services -- Erlang-Style Error Recovery...
احصل على النص الكامل
الكتروني كتاب الكتروني