عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شناسگر استاندارد دیگر
شماره استاندارد
14100
عنوان و نام پديدآور
عنوان اصلي
Formal development of programs and proofs
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Reading, Mass.
نام ناشر، پخش کننده و غيره
Addison- Wesley
تاریخ نشرو بخش و غیره
c1990
مشخصات ظاهری
نام خاص و کميت اثر
xiv, 242 p. :ill. ;25 cm
فروست
عنوان فروست
The UT year of programming series
يادداشت کلی
متن يادداشت
Includes bibliographical references.
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Electronic digital computers- Programming- Congresses
رده بندی ديویی
شماره
005
.
1
رده بندی کنگره
شماره رده
QA
76
.
6
.
F657
1990
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
TI
عنصر شناسه اي
edited by Edsger W. Dijkstra
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU ebyW regsdE ,artskjiD
