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

  • ウェブストア価格 ¥22,936(本体¥20,851)
  • now publishers Inc(2014/11発売)
  • ポイント 208pt
  • 海外からお取り寄せ(通常6~9週間)
E・T・A・ホフマン年鑑 2008<br>E. T. A. Hoffmann-Jahrbuch. Bd.16 2008 (2008. 160 S. 23,5 cm)
  • 洋書

E・T・A・ホフマン年鑑 2008
E. T. A. Hoffmann-Jahrbuch. Bd.16 2008 (2008. 160 S. 23,5 cm)
 Paperback

Mitarbeit: Steinecke, Hartmut/ Loquai, Franz/ Scher, Steven P./ Hrsg. v. Detlef Kremer

  • SCHMIDT (ERICH), BERLIN(2008発売)
  • ご注文いただけません