Formal Verification of an operating system security kernel /
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| الوثيقة: | كتاب |
| اللغة: | English |
| منشور في: |
Michigan :
UMI Research Press،
c1982.
|
| الطبعة: | 1st.ed. |
| الموضوعات: | |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
مكتبة ساما المركزية
| رقم الاستدعاء: |
001.64 KEM
|
|---|---|
| النسخة 1 (STACKS) | متاح أحجز النسخة |