The Resource Guidelines for formal verification systems

Guidelines for formal verification systems

Label
Guidelines for formal verification systems
Title
Guidelines for formal verification systems
Contributor
Subject
Language
eng
Member of
Cataloging source
GPO
Government publication
federal national government publication
Index
no index present
Literary form
non fiction
Nature of contents
  • technical reports
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
National Computer Security Center (U.S.)
Series statement
NCSC-TG
Series volume
014, version-1
http://library.link/vocab/subjectName
  • Computer programs
  • Electronic data processing departments
Type of report
Final.
Label
Guidelines for formal verification systems
Instantiates
Publication
Note
  • Cover title
  • Shipping list no.: 89-660-P
  • "1 April 1989."
Bibliography note
Includes bibliographical references (page 35)
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
17221919
Dimensions
28 cm.
Extent
iv, 35 pages
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Stock number
008-000-00540-1
Label
Guidelines for formal verification systems
Publication
Note
  • Cover title
  • Shipping list no.: 89-660-P
  • "1 April 1989."
Bibliography note
Includes bibliographical references (page 35)
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
17221919
Dimensions
28 cm.
Extent
iv, 35 pages
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Stock number
008-000-00540-1

Library Locations

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

Library Links

Processing Feedback ...