分类导航

检索结果

已选条件:

software

1993

<符合条件的数据共：1条>

排序方式

登录后可批量下载(统一登录，激活码登录)

Providing mechanical support for program development in a weakest precondition calculus

颁布单位：[Stellenbosch University] | 颁布时间：1993 | 实施时间：1993 | 学科分类：[["Mathematical, logic",, "Calculus, --, Computer, programs",, "Theses, --, Computer, science",, "Dissertations, --, Computer, science",, "Computer, software, --, Development"]]

预览 | 原文链接 [浏览：8 下载：3]