Algebraic Specification of Communication Protocols (Cambridge Tracts in Theoretical Computer Science)
  • 洋書

Algebraic Specification of Communication Protocols (Cambridge Tracts in Theoretical Computer Science)  Paperback,  言語:ENG

Mauw, S. (EDT)/ Veltink, G. J. (EDT)

  • ウェブストア価格 ¥11,460(本体¥10,419)
  • Cambridge University Press(2008/12発売)
  • ポイント 104pt
  • 海外取次在庫
Operational Semantics and Verification of Security Protocols (Information Security and Cryptography)
  • 洋書

Operational Semantics and Verification of Security Protocols (Information Security and Cryptography)  Hardcover

Cremers, C./ Mauw, S.

  • Springer(2011/02発売)
  • ご注文いただけません