Formal Logical Methods for System Security and Correctness
まだ評価がありません
Mar 15, 2008
·
英語
·
ハードカバー
(332 ページ)