An extended CSPE-based method for specification-based testing of concurrent programs

المؤلف الرئيسي:	Al Jedaibi, Wajdi Homaid (Author)
مؤلفين آخرين:	Carver, Richard H. (Super)
التاريخ الميلادي:	2001
موقع:	اوريجون
الصفحات:	1 - 176
رقم MD:	614611
نوع المحتوى:	رسائل جامعية
اللغة:	الإنجليزية
الدرجة العلمية:	رسالة دكتوراه
الجامعة:	Oregon State University
الكلية:	The Graduate School
الدولة:	الولايات المتحدة الأمريكية
قواعد المعلومات:	+Dissertations
مواضيع:	علوم الحاسبات \| البرامج المتزامنة \| تكنولوجيا المعلومات
رابط المحتوى:	صفحة العنوان المستخلص قائمة المحتويات 24 صفحة الأولى الناشر لهذه المادة لم يسمح بإتاحتها.

LEADER	01536nam a22003497a 4500
001	0283286
041		\|a eng
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 9824-137-001-0042-T.pdf \|y صفحة العنوان
856		\|u 9824-137-001-0042-A.pdf \|y المستخلص
856		\|u 9824-137-001-0042-C.pdf \|y قائمة المحتويات
856		\|u 9824-137-001-0042-F.pdf \|y 24 صفحة الأولى
856		\|u 9824-137-001-0042-1.pdf \|y 1 الفصل
856		\|u 9824-137-001-0042-2.pdf \|y 2 الفصل
856		\|u 9824-137-001-0042-3.pdf \|y 3 الفصل
856		\|u 9824-137-001-0042-4.pdf \|y 4 الفصل
856		\|u 9824-137-001-0042-5.pdf \|y 5 الفصل
856		\|u 9824-137-001-0042-6.pdf \|y 6 الفصل
856		\|u 9824-137-001-0042-7.pdf \|y 7 الفصل
856		\|u 9824-137-001-0042-8.pdf \|y 8 الفصل
856		\|u 9824-137-001-0042-R.pdf \|y المصادر والمراجع
856		\|u 9824-137-001-0042-S.pdf \|y الملاحق
930		\|d n
995		\|a +Dissertations
999		\|c 614611 \|d 614611