المكتبة ومصادر المعلومات
Constructing correct software
|
|
بيانات المسؤولية | John Cooke | المؤلف |
Cooke,John (Author)
|
بيانات النشر | London : Springer, 2005 | الطبعة | 2nd ed. | الوصف المادي | xxi, 509 p. : ill. ; 24 cm. | بيانات السلسلة |
Formal approaches to computing and information technology؛
|
ردمك | 1-85233-820-2 | الموضوع الرئيسي | الحاسوب | رؤوس الموضوعات | Computer software -- Development Formal methods (Computer science) | رقم التصنيف | COO 005.1 |
معلومات المادة
| النسخة | الرقم المشفر | السجل | الجزء | حالة المادة | تاريخ الارجاع | الموقع | نوع المادة | 1 | 103658 | 103658 | متوافر | المجموعات العربية - الطابق الأرضي |
|---|---|---|---|---|---|---|---|
| 2 | 103659 | 103659 | متوافر | المجموعات العربية - الطابق الأرضي |
اذا وردت علامة النجمة (*) في حقل حالة المادة. لا يمكن استعارة هذه المادة.