دانلود کتاب Formal Methods for Safety and Security: Case Studies for Aerospace Applications
by Manju Nanda, Yogananda Jeppu (eds.)
|
عنوان فارسی: روش های رسمی برای ایمنی و امنیت: مطالعات موردی برای برنامه های کاربردی هوا فضا |