文章 0 浏览 1
我听说B-Method是在法国发明的。它是 C++ 和 Java 等传统编程语言的替代品，还是具有不同用途的完全不同的东西？…
我不确定这是否适合 stackoverflow，但我不知道还能去哪里问。我正在研究 B 方法来证明需求规范的一致性，并且在指定操作的先决条件时，我对逻辑数学…
文章 0 评论 0
接受
