Predicate calculus and program semantics Edsger W. Dijkstra, Carel S. Scholten
نوع المادة :
نصاللغة: العربية السلاسل: المنتج: New York Springer-Verlag د.تالوصف: x, 220 pages illustrations 25 سمنوع المحتوى: - نص
- بدون وسيط
- كتاب
- 0387969578 (alk. paper)
- 511.3 20
| صورة الغلاف | نوع المادة | المكتبة الحالية | المكتبة الرئيسية | المجموعة | موقع الترفيف | رقم الاستدعاء | المواد المحددة | معلومات المجلد | رابط URL | رقم النسخة | حالة | ملاحظات | تاريخ الاستحقاق | الباركود | حجوزات مادة | صف أولوية حجز المواد | الحجز الأكاديمي | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Books | مكتبة مصر الرئيسية - Misr Main Library Adult - كبار | 25 - Adult Sciences - علوم كبار | 511.3 D. P, 1 (استعراض الرف(يفتح أدناه)) | 1 | المتاح | 800105532 |
Includes index
1
لا توجد تعليقات على هذا العنوان.
تسجيل الدخول إلى حسابك لنشر تعليق.