| 名称: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
标签:
用空格间隔多个标签,如:小说 文学 余秋雨
保存至书单:
Experiments in demonstrating the correctness of software / |
|
|
中图分类法
:
|
TP31 |
|
著者:
|
Monk, Carl Warren. |
|
题名:
|
Experiments in demonstrating the correctness of software / |
|
出版发行:
|
California : Naval Postgraduate School, 1978. |
|
载体形态:
|
158 p. ; ; 27 cm. |
|
附注:
|
"AD/A-062 194" |
|
主题词:
|
Algebraic logic. |
|
主题词:
|
Logic programming. |
|
标签:
|
|
|
相关主题:
|
|
|
相关资源:
|
|
|
分享资源:
|
|
限定所在馆:
限定所在馆藏地点:
限定馆藏状态:
HEA| |00888nam 2200241 a 450 001| |021997013743 005| |20050604103810.0 008| |050528s1978 cau b 000 0 eng 040| |▼aWHUT▼cWHUT 093| |▼aTP31▼23 100|1 |▼aMonk, Carl Warren. 245|00|▼aExperiments in demonstrating- | | the correctness of software /- | |▼cby Carl Warren Monk. 260| |▼aCalifornia :▼bNaval Postgrad- | |uate School,▼c1978. 300| |▼a158 p. ;▼c27 cm. 500| |▼a"AD/A-062 194" 504| |▼aIncludes bibliographical references. 550| |▼a"Approved for public release- | |; distribution unlimited" 650| 0|▼aAlgebraic logic. 650| 0|▼aLogic programming. 710|2 |▼aNaval Postgraduate School. 710|2 |▼aU.S. Department of Commerce - | |National Technical Information Service. 950| |▼aJ▼fTP31/M745 999| |▼tC▼Atshs11▼a20050604 10:25:55- | |▼Mtshs11▼m20050604 10:38:10▼Gt- | |shs11▼g20050604 10:41:24
- 温馨提示：只有“所在馆位置”为“社科自科借阅室、文学借阅室”且“馆藏状态”为“在馆”的图书才能借出，其他“馆藏地点”的书均不可借出。
- “所在图书馆”为“典阅室”的图书只能在室内阅览。
- 查询期刊“现刊架号”请查“报刊指南->期刊分类查询表”。