An Application of Automated Theorem Provers to Computer System Security: the Schematic Protection Model - Mitchell David Irwin Hirschfeld - 書籍 - Biblioscholar - 9781288417209 - 2012年12月7日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

An Application of Automated Theorem Provers to Computer System Security: the Schematic Protection Model


商品が入荷したらメールで通知を受け取る
プロフィールはありますか? ログイン
Mitchell David Irwin Hirschfeld の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加

まだ評価がありません

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2012年12月7日
ISBN13 9781288417209
出版社 Biblioscholar
ページ数 104
寸法 189 × 246 × 6 mm   ·   199 g