An Application of Automated Theorem Provers to Computer System Security: The Schematic Protection Model
  • 洋書

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

Hirschfeld, Mitchell David Irwin

  • ウェブストア価格 ¥11,509(本体¥10,463)
  • Biblioscholar(2012/12発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
An Application of Automated Theorem Provers to Computer System Security
  • 洋書

An Application of Automated Theorem Provers to Computer System Security  Hardcover

Hirschfeld, Mitchell David Irwin

  • ウェブストア価格 ¥6,146(本体¥5,588)
  • Hutson Street Press(2025/05発売)
  • ポイント 55pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
An Application of Automated Theorem Provers to Computer System Security
  • 洋書

An Application of Automated Theorem Provers to Computer System Security  Paperback

Hirschfeld, Mitchell David Irwin

  • ウェブストア価格 ¥3,565(本体¥3,241)
  • Hutson Street Press(2025/05発売)
  • ポイント 32pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。