JavaShuo
欄目
標籤
需求建模
需求建模
全部
需求
建模
變態需求
需求分析
需求工程
市場需求
需求量
需
軟件需求模式
求求
求
快樂工作
【Event-B學習筆記】1：相繼式(Sequent)和推理規則(Inference Rule)
2021-01-20
# Event-B
Event-B
需求建模
形式化方法
快樂工作
每日一句
每一个你不满意的现在，都有一个你没有努力的曾经。
