Similar to ホーア論理
ユニフィケーション
Unification (computer science)
CBS
CBS
F-117 (航空機)
Lockheed F-117 Nighthawk
仕様及び記述言語
Specification and Description Language/cdn.vox-cdn.com/uploads/chorus_image/image/46397844/B_B_Open.0.0.JPG)
B-Method
B-Method
形式的検証
Formal verification
述語変換意味論
Predicate transformer semantics
詳細化
Refinement (computing)
静的コード解析
Static program analysis
Z言語
Z notation
プログラミングの統一理論
Unifying Theories of Programming
Eiffel
Eiffel (programming language)
第12SS装甲師団
12th SS Panzer Division Hitlerjugend
第21SS武装山岳師団
21st Waffen Mountain Division of the SS Skanderbeg
第36SS武装擲弾兵師団
Dirlewanger Brigade
第15SS武装擲弾兵師団
15th Waffen Grenadier Division of the SS (1st Latvian)
1984年ロサンゼルスオリンピック
1984 Summer Olympics
第20SS武装擲弾兵師団
20th Waffen Grenadier Division of the SS (1st Estonian)
第24SS武装山岳猟兵師団
24th Waffen Mountain Division of the SS Karstjäger
第28SS義勇擲弾兵師団
Walloon Legion第32SS義勇擲弾兵師団
32nd SS Volunteer Grenadier Division
III号突撃砲
Sturmgeschütz IIIA-3 (航空機)
Douglas A-3 SkywarriorAM (航空機)
Martin AM MaulerAMX (航空機)
AMX International AMXAn-2 (航空機)
Antonov An-2An-70 (航空機)
Antonov An-70
Android (オペレーティングシステム)
Android (operating system)
