Similar to B-Method
表明 (プログラミング)
Assertion (software development)
ビリヤードボール・コンピュータ
Billiard-ball computer
不動点コンビネータ
Fixed-point combinator
不変条件
Invariant (computer science)
プログラミングの統一理論
Unifying Theories of Programming
並行制約プログラミング
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)