نقدها
هنوز نظری ثبت نشده است
اولین نفری باشید که این کتاب را نقد کرده و نظرات خود را به اشتراک میگذارید
برای بررسی وارد شوید
Formal Logical Methods for System Security and Correctness
هنوز رتبهبندی نشده است
Mar 15, 2008
·
انگلیسی
·
جلد سخت
(332 صفحات)