用 NVI 模式来实现契约的前置条件、后置条件和不变式
黄国强 2009-9-25
参考书[1]中的“简单栈”的例子是用 Eiffel 语言写的。 参考书[
阅读背景：
用 NVI 模式来实现契约的前置条件、后置条件和不变式
来源：互联网
分享到：
