Similar to B-Method
TLA+
TLA+
Z言語
Z notationAlloy Analyzer
Alloy AnalyzerSpec Sharp
仕様及び記述言語
Specification and Description Language
形式手法
Formal methodsPlusCal
PlusCal
VDM
Vienna Development Method
形式仕様記述
Formal specification
仕様記述言語
Specification language
プログラム意味論
Semantics (computer science)
プロセス計算
Process calculus
ペトリネット
Petri net
モデル検査
Model checkingラムダ計算
Lambda calculus▼-1 trendsObject Constraint Language
Object Constraint Language
10.5インチiPad Pro
ActiveBasic
Autotools
GNU Autotools
第六号掃海艇
第七号掃海艇 (3代)
Japanese minesweeper No. 7 (1938)
第七潜水艇
第八号掃海艇 (3代)
Japanese minesweeper No. 8 (1938)
第九号掃海艇 (3代)
第十号掃海艇 (3代)
Japanese minesweeper No. 10 (1938)
第11SS装甲偵察大隊
第十一号掃海艇 (2代)
第12SS装甲師団
12th SS Panzer Division Hitlerjugend