Research Catalog
The SRI hierarchical development methodology (HDM) and its application to the development of secure software
- Title
- The SRI hierarchical development methodology (HDM) and its application to the development of secure software / Karl N. Levitt, Peter Neumann, Lawrence Robinson ; sponsored by the Institute for Computer Sciences and Technology, National Bureau of Standards.
- Author
- Levitt, Karl N.
- Publication
- Washington, DC : United States Government Printing Office, 1980.
Items in the Library & Off-site
Filter by
1 Item
Status | Format | Access | Call Number | Item Location |
---|---|---|---|---|
Text | Use in library | C 13.10:500-67 | Off-site |
Details
- Additional Authors
- Description
- vi, 47 p.; 28 cm.
- Series Statement
- NBS special publication ; 500-67. Computer science and technology
- Uniform Title
- NBS special publication ; 500-67.
- NBS special publication. Computer science & technology.
- Subject
- Note
- "Issued October 1980."
- S/N 003-003-02258-6.
- Item 247.
- Bibliography (note)
- Includes bibliographical references (p. 45-47).
- LCCN
- 80600157
- OCLC
- ocm07345206
- 7345206
- SCSB-1510938
- Owning Institutions
- Princeton University Library