عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
0387906630
شابک
3540906630
شابک
9780387906638
شابک
9783540906636
شماره کتابشناسی ملی
شماره
b553407
عنوان و نام پديدآور
عنوان اصلي
ALPHARD :
نام عام مواد
[Book]
ساير اطلاعات عنواني
form and content.
نام نخستين پديدآور
Mary Shaw
وضعیت ویراست
وضعيت ويراست
1. print
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
1982
مشخصات ظاهری
نام خاص و کميت اثر
321 Seiten.
فروست
عنوان فروست
Computer science monographs
یادداشتهای مربوط به مندرجات
متن يادداشت
Publication History.- - History and Overview.- Prelude - The Alphard form and Verification Issues.- I - Abstraction and Verification in Alphard: Introduction to Language and Methodology.- II - Remarks on the Impact of Program Verification on Language Design.- First Interlude - Inadequacy of Simple Encapsulation.- III - Abstraction and Verification in Alphard: Iteration and Generators.- IV - Achieving Quality Software: Reflections on the Aims and Objectives of Alphard.- Second Interlude - Larger Examples.- V - Abstraction and Verification in Alphard: Design and Verification of a Tree Handler.- VI - Abstraction and Verification in Alphard: A Symbol Table Example.- Third Interlude - Language Evolution.- VII - An Informal Definition of Alphard.- Fourth Interlude - Generality and Generic Definitions.- VIII - An Alphard Specification of a Correct and Efficient Transformation on Data Structures.- Fifth Interlude - Validating and Extending the Concepts.- IX - Validating the Utility of Abstraction Techniques.- X - Toward Relaxing Assumptions in Languages and Their Implementations.- Postlude - Reflections and Open Problems.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Abstraktion.
موضوع مستند نشده
Alphard.
موضوع مستند نشده
Datentyp.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Mary Shaw
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Mary Shaw
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
