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,312(本体¥5,739)
  • Hutson Street Press(2025/05発売)
  • ポイント 57pt
  • オンデマンド(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,660(本体¥3,328)
  • Hutson Street Press(2025/05発売)
  • ポイント 33pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
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,820(本体¥10,746)
  • Biblioscholar(2012/12発売)
  • ポイント 107pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。