عنوان
پدید آورنده
موضوع
رده
QA 76.9 .S88 M37
QA
76
.
9
.
S88
M37
کتابخانه
محل استقرار
اطلاعات محلی رکورد
نوع مدرک
H1
عنوان و نام پديدآور
نام نخستين پديدآور
MARTIN,JAMES
عنوان اصلي
System design from provably correct constructs:the beginnings of
وضعیت نشر و پخش و غیره
تاریخ نشرو بخش و غیره
1985
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
SYSTEM DESIGN
عنصر شناسه ای
ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
عنصر شناسه ای
DEBUGGING IN COMPUTER SCIENCE
رده بندی کنگره
شماره رده
QA
نشانه اثر
76
.
9
شماره رکورد رده بندي
.
S88
M37
