Formal Models and Techniques for Analyzing Security Protocols : A Tutorial (Foundations and Trends® in Programming Languages)
  • 洋書

Formal Models and Techniques for Analyzing Security Protocols : A Tutorial (Foundations and Trends® in Programming Languages)  Paperback,  言語:ENG

Cortier, Véronique/ Kremer, Steve

  • ウェブストア価格 ¥17,392(本体¥15,811)
  • now publishers Inc(2014/11発売)
  • ポイント 158pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。