Path-oriented program analysis / J.C. Huang.
نوع المادة :
نصتفاصيل النشر: Cambridge ; New York : Cambridge University Press, 2008.الوصف: xii, 196 p. : ill. ; 24 cmردمك: - 9780521882866 (hardback)
- 0521882869 (hardback)
- 005.1 22 HJP
- QA76.76.D47 H83 2008
المحتويات:
State constraints -- Subprogram simplification -- Program set -- Pathwise decomposition -- Tautological constraints -- Program recomposition -- Discussion -- Automatic generation of symbolic traces.
كتاب
مراجعات من LibraryThing.com:
| المكتبة الحالية | رقم الاستدعاء | حالة | الباركود | |
|---|---|---|---|---|
| المكتبة المركزية بالمجمعة (CL) | 005.1 HJP (استعراض الرف(يفتح أدناه)) | المتاح | 00452741 | |
| المكتبة المركزية بالمجمعة (CL) | 005.1 HJP (استعراض الرف(يفتح أدناه)) | المتاح | 00452742 | |
| المكتبة المركزية بالمجمعة (CL) | 005.1 HJP (استعراض الرف(يفتح أدناه)) | المتاح | 00452743 | |
| مكتبة مجمع الكليات بالزلفى - طلاب (SZM) | 005.1 HJP (استعراض الرف(يفتح أدناه)) | المتاح | 00452744 | |
| مكتبة مجمع الكليات بالزلفى - طلاب (SZM) | 005.1 HJP (استعراض الرف(يفتح أدناه)) | المتاح | 00452745 | |
| مكتبة مجمع الكليات بالزلفى - طلاب (SZM) | 005.1 HJP (استعراض الرف(يفتح أدناه)) | المتاح | 00452746 |
إجمالي الحجوزات: 0
استعرض مكتبة مجمع الكليات بالزلفى - طلاب (SZM) رفاً إغلاق مستعرض الرف (يخفي مستعرض الرف)
| لا توجد صورة غلاف متاحة | لا توجد صورة غلاف متاحة | لا توجد صورة غلاف متاحة | ||||||
| 005.1 HEA Android programming : | 005.1 HJP Path-oriented program analysis / | 005.1 HJP Path-oriented program analysis / | 005.1 HJP Path-oriented program analysis / | 005.1 IAI Introduction to algorithms, third edition | 005.1 IAI Introduction to algorithms, third edition | 005.1 IAI Introduction to algorithms, third edition |
Includes bibliographical references (p. 191-193) and index.
State constraints -- Subprogram simplification -- Program set -- Pathwise decomposition -- Tautological constraints -- Program recomposition -- Discussion -- Automatic generation of symbolic traces.
لا توجد تعليقات على هذا العنوان.
تسجيل الدخول إلى حسابك لنشر تعليق.