عنوان
پدید آورنده
موضوع
رده
#TK،#.P47،#2005
#
TK
،#.
P47
،#
2005
کتابخانه
محل استقرار
| ما بقی فیلدها | ، ، ، ،Verification،Testing، ، ،1956-،§،#A§،#1388/03/19 | ||||||||
| عنوان و نام پديدآور | #Applied formal verification #Douglas L. Perry, Harry D. Foster | ||||||||
| وضعیت نشر و پخش و غیره | New York McGraw-Hill #c2005 | ||||||||
| مشخصات ظاهری | #xiv, 237 p.: ill., 24 cm | ||||||||
| فروست | McGraw-Hill electronic engineering | ||||||||
| موضوع (اسم عام یاعبارت اسمی عام) | Integrated circuits Electronic circuits | ||||||||
| رده بندی کنگره |
| ||||||||
| سایر رده بندی ها | #7874.58 | ||||||||
| نام شخص - (مسئولیت معنوی برابر ) | #Perry, Douglas L | ||||||||
| نام / عنوان به منزله شناسه افزوده | AU،TI،Foster, Harry, |
