回答情况：
提问时间：
问题标签：
不确定这是否在SO的范围内，但是：
使用VDM-SL，我一直在寻找描述ℕ的一个有限子集的“最佳”方式。在我的旅行中，我发现了人们传达这一点的几种方式，但我想知道哪种方式是最被接受的。
浏览 7修改于2017-01-21得票数 0
因此，正如标题所解释的，内隐和外显之间有什么区别？函数是隐式的还是显式的？或者是隐含的序曲代码和显式的VDM规范本身？我有点困惑
浏览 8提问于2022-01-21得票数 0
回答已采纳
尝试创建一个接受整数并返回该整数的非负值的函数，这是我计算出来的Abs(num) == if num < 0 else num;PositiveSet : set of int -> set of int
浏览 8修改于2019-11-06得票数 0
vdm-sl中的智能停车模型 类型 Id = token;
Type = <A> | <B> | <C> | <D> | <E>;
浏览 14修改于2019-10-15得票数 0
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号