Similar to モンデックスカード
並行制約プログラミング
Concurrent constraint logic programming
並行論理プログラミング
Concurrent logic programming
ペトリネット
Petri net
ホーア論理
Hoare logic
Mizar
Mizar system
文字列書き換え系
Semi-Thue system
モデル検査
Model checking
有限オートマトン
Finite-state machine
ユニフィケーション
Unification (computer science)ラムダ計算
Lambda calculus
ループ不変条件
Loop invariant
論理プログラミング
Logic programming
セーフティクリティカルシステム
Safety-critical system
クレジットカード (日本)
クレジットカードの番号
Payment card number
提携カード
3Dセキュア
3-D SecureBusiness Payments Solution Provider
CAFIS
CARDNET
Cirrus
Cirrus (interbank network)
Dカード
Mastercardコンタクトレス
MEITETSU μ's Card
PCI SSC
Payment Card Industry Security Standards Council
PCI DSS
Payment Card Industry Data Security Standard
PLUS (ATMネットワーク)
Plus (interbank network)
Secure Electronic Transaction
Secure Electronic Transaction