Proceedings of the Workshop on High Integrity Software, Gaithersburg, MD, January 22-23, 1991 /
        Saved in:
      
    
                  | 企业作者: | , , | 
|---|---|
| 其他作者: | , , | 
| 格式: | 会议录 图书 | 
| 语言: | English | 
| 出版: | Gaithersburg, MD :
        
      U.S. Dept. of Commerce : National Institute of Standards and Technology,    
    
      1991. | 
| 丛编: | NIST special publication ;
              500-190 | 
| 主题: | 
| Item Description: | "August 1991". | 
|---|---|
| 实物描述: | ix, 28, [47] p. : ill. ; 28 cm. | 
| 参考书目: | Bibliography: p. 26-28. |