| 名称: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
标签:
用空格间隔多个标签,如:小说 文学 余秋雨
保存至书单:
Verifying concurrent processes using temporal logic / |
|
|
中图分类法
:
|
TP391.1 |
|
著者:
|
Hailpern, Brent T. |
|
题名:
|
Verifying concurrent processes using temporal logic / |
|
出版发行:
|
[Stanford, California : Computer Systems Laboratory, 1983] |
|
载体形态:
|
x, 212 p. : ill. ; 27 cm. |
|
丛编:
|
Technical report ; |
|
附注:
|
"Revised March 1983." |
|
附注:
|
"Report no. STAN-CS-83-942."-- Cover. |
|
主题词:
|
Parallel processing (Electronic computers) |
|
主题词:
|
Computer programs Verification. |
|
标签:
|
|
|
相关主题:
|
|
|
相关资源:
|
|
|
分享资源:
|
|
限定所在馆:
限定所在馆藏地点:
限定馆藏状态:
HEA| |00888nam 2200229 4500 001| |021997014210 005| |20050607092355.0 008| |820211s1983 caua b 00010 eng 040| |▼aDLC▼cDLC▼dCIN 093| |▼aTP391.1▼23 100|1 |▼aHailpern, Brent T.▼q(Brent T- | |zion),▼d1955- 245|10|▼aVerifying concurrent process- | |es using temporal logic /▼cby - | |Brent T. Hailpern. 260| |▼a[Stanford, California :▼bCom- | |puter Systems Laboratory,▼c1983] 300| |▼ax, 212 p. :▼bill. ;▼c27 cm. 440| 0|▼aTechnical report ;▼vno. 195 500| |▼a"Revised March 1983." 500| |▼a"Report no. STAN-CS-83-942."－－ Cover. 504| |▼aIncludes bibliographical references. 650| 0|▼aParallel processing (Electro- | |nic computers) 650| 0|▼aComputer programs▼xVerification. 950| |▼aJ▼fTP391.1/H151 999| |▼tC▼Atshs17▼a20050607 09:13:37- | |▼Mtshs17▼m20050607 09:23:55▼Gt- | |shs17▼g20050607 09:24:28
- 温馨提示：只有“所在馆位置”为“社科自科借阅室、文学借阅室”且“馆藏状态”为“在馆”的图书才能借出，其他“馆藏地点”的书均不可借出。
- “所在图书馆”为“典阅室”的图书只能在室内阅览。
- 查询期刊“现刊架号”请查“报刊指南->期刊分类查询表”。