ابراهیمی آتانی، رضا، ۱۳۵۹ -
اصول طراحی و توسعه نرم‌افزارهای مطمئن/ مولفین رضا ابراهیمی آتانی، مهران علیدوست‌نیا.- تهران: ناقوس، ۱۳۹۴.
۳۰۱ ص.: جدول، نمودار.
کتابنامه.
ISBN 978-964-377-786-9.
۱.نرمافزار -- اطمینان‌پذیری. ۲.نرمافزار -- تولید. ۳.معماری نرمافزار.
شماره دیویی: الف 136 الف 005
موجودی:
مخزن بسته: (۱۱۹۷۸۵۳۰) / (۱۱۹۷۸۵۲۹)
گردش و امانت بانوان: (۲۱۲۱۸۱۶۱)
گردش و امانت آقایان: (۲۲۲۰۴۶۴۲)
کتابخانه آیت الله مدرس: (۴۵۷۳۳۱۹)
کتابخانه مسجد زینبیه: (۴۸۲۷۴۵۷)
کتابخانه علامه شیخ شوشتری: (۵۴۳۶۵۲۲)
کتابخانه آیت الله جلیلی کرمانشاه: (۶۵۳۲۰۵۵)
کتابخانه امام رضا(ع) بیرجند: (۷۴۵۳۷۰۲)
