LEADER |
00943nam a22002177a 4500 |
001 |
0017834 |
040 |
|
|
|a قاعدة المنظومة للرسائل الجامعية
|
041 |
|
|
|a ara
|
100 |
|
|
|9 17183
|a Al Rajeh, Dalal S.
|e Author
|
245 |
|
|
|a Requirements Elaboration using Model Checking and Inductive Learning
|
260 |
|
|
|a لندن
|c 2009
|
300 |
|
|
|a 1 - 286
|
336 |
|
|
|a رسائل جامعية
|
502 |
|
|
|b رسالة دكتوراه
|c University of London
|f Imperial college of science, Technology and Medicine
|g بريطانيا
|o 0002
|
653 |
|
|
|a الحاسبات الالكترونية
|a البرمجة
|a تدريس الحاسبات الإلكترونية
|
700 |
|
|
|9 45660
|a Russo, Alessandra
|e Super
|
856 |
|
|
|u http://search.mandumah.com/Record/604693
|y المستخلص من قاعدة المنظومة للرسائل الجامعية
|
940 |
|
|
|a تمت المناقشة
|
950 |
|
|
|c 604693
|
995 |
|
|
|a Thesis
|
999 |
|
|
|c 187585
|d 187585
|