1～3件／全3件 セーフサーチON
  •  
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,520（本体¥5,928）
  • Hutson Street Press（2025/05発売）
  • ポイント 59pt
  • オンデマンド(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,781（本体¥3,438）
  • Hutson Street Press（2025/05発売）
  • ポイント 34pt
  • オンデマンド(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

  • ウェブストア価格 ¥12,208（本体¥11,099）
  • Biblioscholar（2012/12発売）
  • ポイント 110pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
1～3件／全3件
  •