عنوان
پدید آورنده
موضوع
رده
#QA،#.T83
#
QA
،#.
T83
کتابخانه
محل استقرار
| ما بقی فیلدها | ، ، ، ، ، ،1،1،8،0444703403،51366،01/04/1381،000 | ||||||
| شناسگر رکورد | 51366 | ||||||
| شناسگر ويراست | #24367 | ||||||
| اطلاعات محلی رکورد | #BL | ||||||
| زبان اثر | انگلیسی | ||||||
| عنوان و نام پديدآور | #Program correctness over abstract data types, with error-state semantics #J.V. Tucker, J.I. Zucker | ||||||
| وضعیت نشر و پخش و غیره | Amsterdam , New York North-Holland #1988 | ||||||
| مشخصات ظاهری | #viii, 212 p., 24 cm | ||||||
| فروست | CWI monograph , 6 | ||||||
| یادداشتهای مربوط به کتابنامه،واژه نامه و نمایه های داخل اثر | #Bibliography: p. 206-212 | ||||||
| موضوع (اسم عام یاعبارت اسمی عام) | Electronic digital computers- Programming Abstract data types )Computer science( | ||||||
| رده بندی ديویی |
| ||||||
| رده بندی کنگره |
| ||||||
| سایر رده بندی ها | #76.6 | ||||||
| نام شخص - (مسئولیت معنوی برابر ) | #Tucker,John V., 1952- | ||||||
| نام / عنوان به منزله شناسه افزوده | AU،Zucker, J. I. )Jeffrey I.(, 1942- |
