Requirements Elaboration Using Model Checking and Inductive Learning

المؤلف الرئيسي:	Al Rajeh, Dalal S. (Author)
مؤلفين آخرين:	Russo, Alessandra (Super)
التاريخ الميلادي:	2009
موقع:	لندن
الصفحات:	1 - 286
رقم MD:	604693
نوع المحتوى:	رسائل جامعية
اللغة:	الإنجليزية
الدرجة العلمية:	رسالة دكتوراه
الجامعة:	University of London
الكلية:	Imperial college of science, Technology and Medicine
الدولة:	بريطانيا
قواعد المعلومات:	+Dissertations
مواضيع:	الحاسبات الالكترونية \| البرمجة \| تدريس الحاسبات الإلكترونية
رابط المحتوى:	صفحة العنوان المستخلص قائمة المحتويات 24 صفحة الأولى الناشر لهذه المادة لم يسمح بإتاحتها.

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