Path-oriented program analysis / (رقم التسجيلة. 32553)
[ عرض عادي ]
| 000 -الفاتح | |
|---|---|
| حقل البيانات ثابتة الطول | 01672cam a2200349 a 4500 |
| 001 - رقم الضبط | |
| رقم الضبط | 14901673 |
| 003 - محدد رقم الضبط | |
| رقم الضبط | OSt |
| 005 - وقت وتاريخ اخر تعامل مع التسجيلة | |
| رقم الضبط | 20150408114157.0 |
| 008 - عناصر البيانات ثابتة الطول - معلومات عامة | |
| حقل البيانات ثابتة الطول | 070625s2008 enka b 001 0 eng |
| 010 ## - رقم ضبط مكتبة الكونجرس | |
| رقم ضبط مكتبة الكونجرس | 2007026404 |
| 020 ## - الرقم الدولى المعيارى للكتب | |
| الرقم الدولى المعيارى للكتاب | 9780521882866 (hardback) |
| 020 ## - الرقم الدولى المعيارى للكتب | |
| الرقم الدولى المعيارى للكتاب | 0521882869 (hardback) |
| 035 ## - رقم ضبط النظام | |
| رقم ضبط النظام | (OCoLC)ocn145943332 |
| 035 ## - رقم ضبط النظام | |
| رقم ضبط النظام | (OCoLC)145943332 |
| 040 ## - مصدر الفهرسة | |
| وكالة الفهرسة الأصلية | DLC |
| وكالة النسخ | DLC |
| وكالة التعديل | BTCTA |
| -- | BAKER |
| -- | YDXCP |
| -- | C#P |
| -- | DLC |
| 050 00 - رقم طلب مكتبة الكونجرس | |
| رقم التصنيف | QA76.76.D47 |
| رقم المادة | H83 2008 |
| 082 00 - رقم تصنيف ديوى العشرى | |
| رقم التصنيف | 005.1 |
| رقم الطبعة | 22 |
| رقم المادة | HJP |
| 100 1# - المدخل الرئيسى - إسم شخصى | |
| الإسم الشخصى | Huang, J. C., |
| التواريخ المصاحبة للاسم | 1935- |
| 9 (RLIN) | 40875 |
| 245 10 - بيان العنوان | |
| العنوان | Path-oriented program analysis / |
| بيان المسئوليه,etc | J.C. Huang. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| مكان الناشر او الموزع | Cambridge ; |
| -- | New York : |
| اسم الناشر او الموزع | Cambridge University Press, |
| تاريخ النشر أو التوزيع | 2008. |
| 300 ## - الوصف المادى | |
| التعداد | xii, 196 p. : |
| تفاصيل ماديه اخرى للوعاء | ill. ; |
| أبعاد الوعاء | 24 cm. |
| 504 ## - تبصرة ببليوجرافية | |
| تبصرة ببليوجرافية,الخ | Includes bibliographical references (p. 191-193) and index. |
| 505 0# - تبصرة محتويات-الفهرس | |
| تبصرة المحتويات المصاغة | State constraints -- Subprogram simplification -- Program set -- Pathwise decomposition -- Tautological constraints -- Program recomposition -- Discussion -- Automatic generation of symbolic traces. |
| 650 #0 - المدخل الاضافى بالموضوع-مصطلح موضوعى | |
| مصطلح موضوعي أو اسم جغرافي كعنصر مدخل | Computer software |
| التقسيم الفرعي العام | Development. |
| 650 #0 - المدخل الاضافى بالموضوع-مصطلح موضوعى | |
| مصطلح موضوعي أو اسم جغرافي كعنصر مدخل | Computer software |
| التقسيم الفرعي العام | Development |
| -- | Computer programs. |
| 9 (RLIN) | 40876 |
| 856 42 - الوصول و الموقع الالكترونى | |
| مواد محددة | Contributor biographical information |
| معرف المصدر الموحد | <a href="http://www.loc.gov/catdir/enhancements/fy0803/2007026404-b.html">http://www.loc.gov/catdir/enhancements/fy0803/2007026404-b.html</a> |
| 856 42 - الوصول و الموقع الالكترونى | |
| مواد محددة | Publisher description |
| معرف المصدر الموحد | <a href="http://www.loc.gov/catdir/enhancements/fy0803/2007026404-d.html">http://www.loc.gov/catdir/enhancements/fy0803/2007026404-d.html</a> |
| 856 41 - الوصول و الموقع الالكترونى | |
| مواد محددة | Table of contents only |
| معرف المصدر الموحد | <a href="http://www.loc.gov/catdir/enhancements/fy0803/2007026404-t.html">http://www.loc.gov/catdir/enhancements/fy0803/2007026404-t.html</a> |
| 906 ## - عنصر بيانات محلى F, LDF (RLIN) | |
| a | 7 |
| b | cbc |
| c | orignew |
| d | 1 |
| e | ecip |
| f | 20 |
| g | y-gencatlg |
| 942 ## - عناصر المدخل الإضافي( كوها) | |
| مصدر التصنيف او مخطط الترفيف | Dewey Decimal Classification |
| Koha [default] item type | كتاب |
| حالة الفقد | نموذج السعر الفعال | حالة تلف | ليس للاعارة | رقم الطلب | تاريخ الاكتساب | الموقع الحالي | الباركود | الفرع الرئيسي | Date last seen | نوع المادة فى نظام كوها | مصدر التصنيف او خطة الترفيف | Total Checkouts |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2013-12-12 | 005.1 HJP | 2013-12-12 | المكتبة المركزية بالمجمعة (CL) | 00452741 | المكتبة المركزية بالمجمعة (CL) | 2013-12-12 | كتاب | Dewey Decimal Classification | ||||
| 2013-12-12 | 005.1 HJP | 2013-12-12 | المكتبة المركزية بالمجمعة (CL) | 00452742 | المكتبة المركزية بالمجمعة (CL) | 2013-12-12 | كتاب | Dewey Decimal Classification | ||||
| 2013-12-12 | 005.1 HJP | 2013-12-12 | المكتبة المركزية بالمجمعة (CL) | 00452743 | المكتبة المركزية بالمجمعة (CL) | 2013-12-12 | كتاب | Dewey Decimal Classification | ||||
| 2013-12-12 | 005.1 HJP | 2013-12-12 | مكتبة مجمع الكليات بالزلفى - طلاب (SZM) | 00452744 | مكتبة مجمع الكليات بالزلفى - طلاب (SZM) | 2013-12-12 | كتاب | Dewey Decimal Classification | ||||
| 2013-12-12 | 005.1 HJP | 2013-12-12 | مكتبة مجمع الكليات بالزلفى - طلاب (SZM) | 00452745 | مكتبة مجمع الكليات بالزلفى - طلاب (SZM) | 2013-12-12 | كتاب | Dewey Decimal Classification | ||||
| 2013-12-12 | 005.1 HJP | 2013-12-12 | مكتبة مجمع الكليات بالزلفى - طلاب (SZM) | 00452746 | مكتبة مجمع الكليات بالزلفى - طلاب (SZM) | 2013-12-12 | كتاب | Dewey Decimal Classification |