- رقم التسجيل : 31854
- اللغة: E
- نوع المادة: B
- رقم التصنيف: 004
- رقم المؤلف: P 729
- الرقم الدولي: 0-262-1688-5
- العنوان: PROOF LANGUAGE AND INTERACTION ESSYS IN HONOUR OF ROBIN MILNER
- المؤلف: ED: GORDON PLOTHIN CDIN STIRLING
- المؤلف: MAELS TOFTE
- مكان النشر والناشر: CAMBRIDGE : THE MIT PRESS
- تاريخ النشر: 2000
- عدد الصفحات: 722
- السلسلة: FOUNDATION OF COMPUTING
- الملاحظات: FIGURE TABLE
- رؤوس المواضيع: COMPUTER SCIENCE
- رؤوس المواضيع: MILNER ,R. ROBIN 1934
- عدد النسخ: 01
مساعدة - بحث جديد - الصفحة الرئيسية