この商品を友人に教える:
An Application of Automated Theorem Provers to Computer System Security: the Schematic Protection Model Mitchell David Irwin Hirschfeld
An Application of Automated Theorem Provers to Computer System Security: the Schematic Protection Model
Mitchell David Irwin Hirschfeld
| メディア | 書籍 Paperback Book (ソフトカバーで背表紙を接着した本) |
| リリース済み | 2012年12月7日 |
| ISBN13 | 9781288417209 |
| 出版社 | Biblioscholar |
| ページ数 | 104 |
| 寸法 | 189 × 246 × 6 mm · 199 g |