Software and Systems Safety: Specification and Verification (Volume 30; NATO Science for Peace and Security Series D Information and Communication Security)

Jan 1, 2011 · انگلیسی · جلد سخت (296 صفحات)