Similar to 操作的意味論
アレクサンドリアのメネラウス
Menelaus of Alexandria
アレクサンドル・グロタンディークが考えたこと
List of things named after Alexander Grothendieck
パヴェル・アレクサンドロフ
Pavel Alexandrov
アレクサンドロフ拡大
Alexandroff extension
仕様記述言語
Specification language
形式仕様記述
Formal specification
Object Constraint Language
Object Constraint LanguagePlusCal
PlusCalProperty Specification Language
Property Specification LanguageSpec Sharp
TLA+
TLA+
VDM
Vienna Development Method
Z言語
Z notation
仕様及び記述言語
Specification and Description Language
プロセス計算
Process calculus
ペトリネット
Petri netSemEval
SemEval
完全抽象化
プログラミングの統一理論
Unifying Theories of Programming
Template:Computer-stub
Template:Compu-stub
11インチiPad Pro (第1世代)
11インチiPad Pro (第2世代)
11インチiPad Pro (第3世代)
12.9インチiPad Pro (第1世代)
IPad Pro (1st generation)12.9インチiPad Pro (第2世代)
IPad Pro (2nd generation)12.9インチiPad Pro (第3世代)
IPad Pro (3rd generation)
12.9インチiPad Pro (第4世代)
IPad Pro (4th generation)
12.9インチiPad Pro (第5世代)
IPad Pro (5th generation)