Coverart for item
The Resource 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

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

Label
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
Statement of responsibility
Karl N. Levitt, Peter Neumann, Lawrence Robinson ; sponsored by the Institute for Computer Sciences and Technology, National Bureau of Standards
Creator
Contributor
Subject
Language
eng
Member of
Cataloging source
VPI
http://library.link/vocab/creatorName
Levitt, Karl N
Government publication
federal national government publication
Index
no index present
Literary form
non fiction
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
  • 1932-
  • 1949-
http://library.link/vocab/relatedWorkOrContributorName
  • Neumann, Peter
  • Robinson, Lawrence
  • United States
  • Institute for Computer Sciences and Technology
Series statement
  • Computer science and technology
  • NBS special publication
Series volume
500-67
http://library.link/vocab/subjectName
  • Computer programming
  • Computers
Label
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
Instantiates
Publication
Note
"Issued October 1980."
Bibliography note
Bibliography: pages 45-47
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
17025462
Dimensions
28 cm.
Extent
vi, 47 pages
Lccn
80600157
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Label
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
Publication
Note
"Issued October 1980."
Bibliography note
Bibliography: pages 45-47
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
17025462
Dimensions
28 cm.
Extent
vi, 47 pages
Lccn
80600157
Media category
unmediated
Media MARC source
rdamedia
Media type code
n

Library Locations

    • Indiana State LibraryBorrow it
      315 W. Ohio St., Indianapolis, IN, 46202, US
      39.77004 -86.164015

Library Links

Processing Feedback ...