عنوان
پدید آورنده
موضوع
رده
QA 76.76 .D47 F67 1993
QA
76
.
76
.
D47
F67
1993
کتابخانه
محل استقرار
استان: خراسان رضوی ـ شهر: مشهد
شناسگر استاندارد دیگر
شماره استاندارد
19288
عنوان و نام پديدآور
نام نخستين پديدآور
Ford, Neville
عنوان اصلي
Introducing formal methods: a less mathematical approach
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York
نام ناشر، پخش کننده و غيره
Ellis Horwood
تاریخ نشرو بخش و غیره
c1993
مشخصات ظاهری
نام خاص و کميت اثر
ix, 226p.: ill
فروست
عنوان فروست
Ellis Horwood series computers and their applications
يادداشت کلی
متن يادداشت
Bibliography: p. ]221[-222
متن يادداشت
Includes index
یادداشتهای مربوط به عنوان و پدیدآور
متن يادداشت
Neville Ford, Judith Ford
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Computer software - Development
عنصر شناسه ای
Software engineering
رده بندی کنگره
شماره رده
QA
76
.
76
.
D47
F67
1993
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU Ford, Judith
عنصر شناسه اي
TI
عنصر شناسه اي
SE
شماره دستیابی
پسوند شماره بازيابي
CL
