LEADER |
00968nam a22002177a 4500 |
001 |
0283286 |
040 |
|
|
|a قاعدة المنظومة للرسائل الجامعية
|
041 |
|
|
|a ara
|
100 |
|
|
|9 13755
|a Al Jedaibi, Wajdi Homaid
|e Author
|
245 |
|
|
|a An extended CSPE-based method for specification-based testing of concurrent programs
|
260 |
|
|
|a اوريجون
|c 2001
|
300 |
|
|
|a 1 - 176
|
336 |
|
|
|a رسائل جامعية
|
502 |
|
|
|b رسالة دكتوراه
|c Oregon State University
|f The Graduate School
|g الولايات المتحدة الأمريكية
|o 0042
|
653 |
|
|
|a علوم الحاسبات
|a البرامج المتزامنة
|a تكنولوجيا المعلومات
|
700 |
|
|
|9 24980
|a Carver, Richard H.
|e Super
|
856 |
|
|
|u http://search.mandumah.com/Record/614611
|y المستخلص من قاعدة المنظومة للرسائل الجامعية
|
940 |
|
|
|a تمت المناقشة
|
950 |
|
|
|c 614611
|
995 |
|
|
|a Thesis
|
999 |
|
|
|c 194927
|d 194927
|