icon

Systematic program design : (Record no. 7178)

MARC details
000 -الفاتح
حقل البيانات ثابتة الطول 02362cam a2200325 i 4500
001 - رقم الضبط
رقم الضبط 7178
005 - وقت وتاريخ اخر تعامل مع التسجيلة
رقم الضبط 20250127123019.0
008 - عناصر البيانات ثابتة الطول - معلومات عامة
حقل البيانات ثابتة الطول 130206s2013 enka b 001 0 eng
020 ## - الرقم الدولى المعيارى للكتب
الرقم الدولى المعيارى للكتاب 9781107036604 (hardback)
020 ## - الرقم الدولى المعيارى للكتب
الرقم الدولى المعيارى للكتاب 1107036607 (hardback)
020 ## - الرقم الدولى المعيارى للكتب
الرقم الدولى المعيارى للكتاب 9781107610798 (paperback)
020 ## - الرقم الدولى المعيارى للكتب
الرقم الدولى المعيارى للكتاب 1107610796 (paperback)
040 ## - مصدر الفهرسة
وكالة الفهرسة الأصلية DLC
لغة الفهرسة eng
وكالة النسخ DLC
قواعد الوصف rda
وكالة التعديل DLC
-- IQ-MoCLU
082 00 - رقم تصنيف ديوى العشرى
رقم التصنيف 005.1
رقم الطبعة 23
رقم المادة L783
100 1# - المدخل الرئيسى - إسم شخصى
الإسم الشخصى Liu, Yanhong Annie,
التواريخ المصاحبة للاسم 1965-
الدور Author.
245 10 - بيان العنوان
العنوان Systematic program design :
بقية العنوان from clarity to efficiency /
بيان المسئوليه Yanhong Annie Liu, Stony Brook University, State University of New York.
264 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
مكان الإنتاج، النشر، التوزيع، الصنع (ت) Cambridge :
اسم المنتج، الناشر، الموزع، الصانع (ت) Cambridge University Press,
تاريخ الإنتاج، النشر، التوزيع، الصنع، بيان حق النشر (ت) 2013.
300 ## - الوصف المادى
التعداد xv, 240 pages :
تفاصيل ماديه اخرى للوعاء illustrations ;
أبعاد الوعاء 25 cm
336 ## - نوع المحتوى
مصطلح نوع المحتوى text
المصدر rdacontent
337 ## - نوع الوسيط
مصطلح نوع الوسيط unmediated
المصدر rdamedia
338 ## - نوع الناقل
مصطلح نوع الحامل volume
المصدر rdacarrier
504 ## - تبصرة ببليوجرافية
تبصرة ببليوجرافية,الخ Includes bibliographical references (pages 213-233) and index.
505 8# - تبصرة محتويات-الفهرس
تبصرة المحتويات المصاغة Machine generated contents note: 1. Introduction; 2. Loops: incrementalize; 3. Sets: incrementalize and implement; 4. Recursion: iterate and incrementalize; 5. Rules: iterate, incrementalize, and implement; 6. Objects: incrementalize across module abstraction; 7. Conclusion.
520 ## - التبصرة الخاصة بالتعليق أو التلخيص
ملخص,الخ "A systematic program design method can help developers ensure the correctness and performance of programs while minimizing the development cost. This book describes a method that starts with a clear specification of a computation and derives an efficient implementation by step-wise program analysis and transformations. The method applies to problems specified in imperative, database, functional, logic, and object-oriented programming languages with different data, control, and module abstractions. Designed for courses or self-study, this book includes numerous exercises and examples that require minimal computer science background, making it accessible to novices. Experienced practitioners and researchers will appreciate the detailed examples in a wide range of application areas including hardware design, image processing, access control, query optimization, and program analysis. The last section of the book points out directions for future studies"--
650 #0 - المدخل الاضافى بالموضوع-مصطلح موضوعى
مصطلح موضوعي أو اسم جغرافي كعنصر مدخل Computer programming.
650 #0 - المدخل الاضافى بالموضوع-مصطلح موضوعى
مصطلح موضوعي أو اسم جغرافي كعنصر مدخل System design.
650 #7 - المدخل الاضافى بالموضوع-مصطلح موضوعى
مصطلح موضوعي أو اسم جغرافي كعنصر مدخل COMPUTERS / Programming Languages / General.
مصدر الرأس أو المصطلح bisacsh
910 ## - بيانات اختيارية للمستخدم
User-option data saja
942 ## - عناصر المدخل الإضافي( كوها)
مصدر التصنيف او مخطط الترفيف Dewey Decimal Classification
Koha [default] item type كتاب
Suppress in OPAC 0
Holdings
تاريخ آخر المشاهدة عدد المخارج رقم الطلب معرف النسخة السعر ابتداء من نوع مادة كوها تبصرة عامة حالة الفقد حالة تلف ليس للاعارة حالة التراجع الفرع الرئيسي موقع الترفيف تاريخ الاكتساب نموذج السعر الفعال الموقع الحالي
05/31/2023   005.1 L783 22050 05/31/2023 كتاب قاعة الكتب         Central Library المكتبة المركزية   05/31/2023 ddc Central Library المكتبة المركزية