On the formal analysis of telecommunication protocols /

محفوظ في:
التفاصيل البيبلوغرافية
OCLC:59872150
المؤلف الرئيسي: Orava, Fredrik
مؤلفون مشاركون: Uppsala universitet. Department of Computer Sysytems, Swedish Institute of Computer Science, Uppsala universitet
اللغة:English
منشور في: Uppsala : Department of Computer Systems, Uppsala University, 1994.
سلاسل:Publication / Department of Computer Systems, Uppsala University ; 94/46.
التنسيق:

أطروحة Monograph

Note that CRL will digitize material from the collection when copyright allows.

Borrow this resource

Item List

الوصف Local Call Number الحالة
P-00569958 متاح

مواد مشابهة