The Resource Formal methods and digital systems validation for airborne systems, John Rushby

Formal methods and digital systems validation for airborne systems, John Rushby

Label
Formal methods and digital systems validation for airborne systems
Title
Formal methods and digital systems validation for airborne systems
Statement of responsibility
John Rushby
Creator
Contributor
Subject
Language
eng
Member of
Cataloging source
GPO
http://library.link/vocab/creatorDate
1949-
http://library.link/vocab/creatorName
Rushby, John
Government publication
federal national government publication
Index
no index present
Literary form
non fiction
http://library.link/vocab/relatedWorkOrContributorName
United States
Series statement
NASA contractor report
Series volume
4551
http://library.link/vocab/subjectName
Computer networks
Label
Formal methods and digital systems validation for airborne systems, John Rushby
Instantiates
Publication
Note
  • Distributed to depository libraries in microfiche
  • Shipping list no.: 94-0440-M
Carrier category
microfiche
Carrier category code
he
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
17277856
Extent
1 volume.
Form of item
microfiche
Media category
microform
Media MARC source
rdamedia
Media type code
h
Reproduction note
Microfiche.
Stock number
N 94-23293
Label
Formal methods and digital systems validation for airborne systems, John Rushby
Publication
Note
  • Distributed to depository libraries in microfiche
  • Shipping list no.: 94-0440-M
Carrier category
microfiche
Carrier category code
he
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
17277856
Extent
1 volume.
Form of item
microfiche
Media category
microform
Media MARC source
rdamedia
Media type code
h
Reproduction note
Microfiche.
Stock number
N 94-23293

Library Locations

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

Library Links

Processing Feedback ...