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