عنوان
پدید آورنده
موضوع
رده
511 D575p
511
D575p
کتابخانه
محل استقرار
عنوان و نام پديدآور
نام نخستين پديدآور
Dijkstra, Edsger W
عنوان اصلي
Predicate calculus and program semantics
وضعیت نشر و پخش و غیره
تاریخ نشرو بخش و غیره
[c1990]
نام ناشر، پخش کننده و غيره
Springer
مشخصات ظاهری
ساير جزييات
x, 220p
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Predicate calculus ► Programming languages(Electronic computers)- Semantics
رده بندی ديویی
ويراست
D575p
شماره
511
نام شخص - ( مسئولیت معنوی درجه دوم )
عنصر شناسه اي
Edsger W. Dijkstra ► Carel S. Scholten
شناسه افزوده (تنالگان)
عنصر شناسه اي
Scholten, Carel S
