名称: | |
描述: | |
公开/私有: | 公开 私有 |
Verification of fault tolerant software / |
|
中图分类法
:
|
TP306 |
著者:
|
Schlichting, R.D. |
题名:
|
Verification of fault tolerant software / |
出版发行:
|
NY : Cornell university, 1980. |
载体形态:
|
19 p. ; ; 30 cm. |
丛编:
|
Technical report. |
附注:
|
TR 80-446 |
主要责任者:
|
Schneider, F.B. |
标签:
|
|
相关主题:
|
|
相关资源:
|
|
分享资源:
|
HEA| |00634nam 2200205 a 450 001| |021997013675 005| |20050603171017.0 008| |050603s1980 nyu bt 000 0 eng 040| |▼aWHUT▼cWHUT 093| |▼aTP306▼23 100|1 |▼aSchlichting, R.D. 245|10|▼aVerification of fault tolera- | |nt software /▼cR.D.Schlichting- | |,F.B.Schneider. 260| |▼aNY :▼bCornell university,▼c1980. 300| |▼a19 p. ;▼c30 cm. 440| 0|▼aTechnical report. 500| |▼aTR 80-446 504| |▼aIncludes biliographical references. 700|1 |▼aSchneider, F.B. 950| |▼aJ▼fTP306/S344 999| |▼tA▼Atshs14▼a20050603 17:10:17- | |▼Gtshs14▼g20050603 17:10:31