A framework for the development and assurance of high integrity software /
Saved in:
Main Author: | |
---|---|
Other Authors: | |
Format: | Book |
Language: | English |
Published: |
Gaithersburg, MD : Washington, D.C. :
Computer Systems Laboratory, National Institute of Standards and Technology ; For sale by the Supt. of Docs., U.S. G.P.O.,
1994.
|
Series: | NIST special publication ;
500-223. NIST special publication. Computer systems technology |
Subjects: |
CARM 1 Store
Call Number: |
A3:AE30C0 F06467 |
---|---|
Copy 1 | Available Place a Hold |