عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
0131232746
شابک
0137262256
شابک
0137262337
شابک
9780131232747
شابک
9780137262250
شابک
9780137262335
شماره کتابشناسی ملی
شماره
b387532
عنوان و نام پديدآور
عنوان اصلي
Programming from specifications
نام عام مواد
[Book]
نام نخستين پديدآور
Carroll Morgan.
وضعیت ویراست
وضعيت ويراست
2nd ed
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York
نام ناشر، پخش کننده و غيره
Prentice Hall,
تاریخ نشرو بخش و غیره
1994.
مشخصات ظاهری
نام خاص و کميت اثر
xv, 332 pages : illustrations ; 24 cm.
فروست
عنوان فروست
Prentice-Hall international series in computer science.
یادداشتهای مربوط به مندرجات
متن يادداشت
Programs and refinement -- The predicate calculus -- Assignment and sequential composition -- Alternation -- Iteration -- Types and declarations -- Case study: Square root -- Initial variables -- Constructed types -- Case study: Insertion Sort -- Procedures and parameters -- Case study: Heap Sort -- Recursive procedures -- Case study: The Gray code -- Recursive types -- Modules and encapsulation -- State transformation and data refinement -- Case study: Majority voting -- Origins and conclusions.
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
Providing a thorough treatment of most elementary programme development techniques, this revised edition covers topics such as procedures, parameters, recursion and data refinement, with the integration of specification, development and coding, based on ordinary (classical) logic. This second edition features: substantial restructuring of earlier material, streamlining the introduction of programming languageProviding a thorough treatment of most elementary programme development techniques, this revised edition covers topics such as procedures, parameters, recursion and data refinement, with the integration of specification, development and coding, based on ordinary (classical) logic. This second edition features: substantial restructuring of earlier material, streamlining the introduction of programming languageProviding a thorough treatment of most elementary programme development techniques, this revised edition covers topics such as procedures, parameters, recursion and data refinement, with the integration of specification, development and coding, based on ordinary (classical) logic. This second edition features: substantial restructuring of earlier material, streamlining the introduction of programming language",,,,,"Providing a thorough treatment of most elementary programme development techniques, this revised edition covers topics such as procedures, parameters, recursion and data refinement, with the integration of specification, development and coding, based on ordinary (classical) logic. This second edition features: substantial restructuring of earlier material, streamlining the introduction of programming language features; simplified presentation of procedures, parameters and recursion; an expanded chapter on data refinement, giving the much simpler laws that specialize to functional abstractions; a new chapter on recursive types (trees etc) and appropriate control structures; and, following the original concluding case study, two completely new ones: "the recursive treatment of the largest rectangle under a histogram", and a specification and extended developnent of an electronic mail system (including limited concurrency).
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Carroll Morgan
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
