- رقم التسجيل : 229901
- عدد الصفحات+تفاصيل: 2010
- اللغة: en
- نوع المادة: Book
- رقم التصنيف: 001.642 GT 7
- العنوان: Theory of program structures:schemes,semantics,verification
- مكان النشر والناشر: Berlin New York:Springer--Verlag
- تاريخ النشر: 1975
- رؤوس الموضوعات: Electronic digital computers--programming
- رؤوس الموضوعات: Recursive programming
- رؤوس الموضوعات: computer programs
- المؤلف: Greibach Sheila
مساعدة - بحث جديد - الصفحة الرئيسية - English
نسخة تجريبية |
© جميع حقوق النشر محفوظة لجامعة بغداد / الامانة العامة للمكتبة المركزية 2012