用于开发计算机系统的形式化方法是描述系统性质的基于数学的技术,它提供了一个框架,可以在框架中以系统而不特别的方式刻划、开发和验证系统。形式化方法的本质是基于数学的方法来描述目标系统属性的一种技术。
立减 ¥
请填写红包祝福语或标题
红包个数最小为10个
红包金额最低5元
抵扣说明:
1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。 2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。