رقم التصنيف: | 004.25 |
---|---|
العنوان: | glenn bruns distributed systems Analysis with CCS |
المؤلف: | Glenn Bruns |
الطبعة: | 2 |
الناشر: | PRENTICE.HALL PTR |
تاريخ النشر: | 1997 |
الترقيم الدولي: | 0-13-398389-7 |
الموضوعات: | ccs and software engineering // modelling systems // reasoning about systems |
نوع الوعاء: | كتاب |
اللغة: | انجليزي |
متاح في: | مكتبة التعليم المفتوح - جامعة العلوم والتكنولوجيا |