LEADER |
00915nam a22002057a 4500 |
001 |
0679371 |
041 |
|
|
|a ara
|
044 |
|
|
|b السعودية
|
100 |
|
|
|9 201449
|a جازا، عابد
|e مؤلف
|
245 |
|
|
|a إطار عام مبني على المنطق لتصميم نظم البرامج
|
260 |
|
|
|b جامعة الملك سعود
|c 1997
|
300 |
|
|
|a 21 - 40
|
336 |
|
|
|a بحوث ومقالات
|
500 |
|
|
|a ملخص لبحث منشور باللغة الانجليزية
|
653 |
|
|
|a علوم الحاسوب
|a البرمجيات
|a تصميم البرمجيات
|a علم المنطق
|
773 |
|
|
|c 007
|e Journal of King Saud University (Computer and Information Sciences)
|l 000
|m مج 9
|o 0584
|s مجلة جامعة الملك سعود - علوم الحاسب والمعلومات
|v 009
|x 1319-1578
|
856 |
|
|
|u 0584-009-000-007.pdf
|
930 |
|
|
|d y
|p y
|
995 |
|
|
|1 0
|4 0
|7 0
|9 31936997
|a science
|d 2014-06-17
|
999 |
|
|
|c 203699
|d 203699
|