Timed Automata jako narzedzie weryfikacyjne dla protokolów bezpieczenstwa : Analiza studium przypadku (2021. 96 S. 220 mm)
  • 洋書

Timed Automata jako narzedzie weryfikacyjne dla protokolów bezpieczenstwa : Analiza studium przypadku (2021. 96 S. 220 mm)  Paperback

Kuelahç/ioglu, Burcu

  • ウェブストア価格 ¥12,122(本体¥11,020)
  • WYDAWNICTWO NASZA WIEDZA(2021発売)
  • ポイント 110pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Getimede Automata als verificatie-instrument voor beveiligingsprotocollen : Een analyse van een casestudy (2021. 100 S. 220 mm)
  • 洋書

Getimede Automata als verificatie-instrument voor beveiligingsprotocollen : Een analyse van een casestudy (2021. 100 S. 220 mm)  Paperback

Kuelahç/ioglu, Burcu

  • ウェブストア価格 ¥12,122(本体¥11,020)
  • UITGEVERIJ ONZE KENNIS(2021発売)
  • ポイント 110pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Autómatos temporizados como ferramenta de verificação de protocolos de segurança : Uma análise sobre um estudo de caso (2021. 96 S. 220 mm)
  • 洋書

Autómatos temporizados como ferramenta de verificação de protocolos de segurança : Uma análise sobre um estudo de caso (2021. 96 S. 220 mm)  Paperback

Kuelahç/ioglu, Burcu

  • ウェブストア価格 ¥12,122(本体¥11,020)
  • EDICOES NOSSO CONHECIMENTO(2021発売)
  • ポイント 110pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。