Similar to B-Method
並行制約プログラミング
Concurrent constraint logic programming
並行論理プログラミング
Concurrent logic programming
ホーア論理
Hoare logic
Mizar
Mizar system
文字列書き換え系
Semi-Thue system
モンデックスカード
Mondex
有限オートマトン
Finite-state machine
ユニフィケーション
Unification (computer science)
ループ不変条件
Loop invariant
論理プログラミング
Logic programmingセーフティクリティカルシステム
Safety-critical system
Eiffel
Eiffel (programming language)Property Specification Language
Property Specification Language
公理的意味論
Axiomatic semantics
操作的意味論
Operational semantics
表示的意味論
Denotational semantics
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)
2-3-4木
2–3–4 tree
2-3木
2–3 tree
Microsoft Windows Server 2022
Windows Server 2022