Coverart for item
The Resource Specifying real-time systems with interval logic, John Rushby, principal investigator, (microform)

Specifying real-time systems with interval logic, John Rushby, principal investigator, (microform)

Label
Specifying real-time systems with interval logic
Title
Specifying real-time systems with interval logic
Statement of responsibility
John Rushby, principal investigator
Title variation
Specifying real time systems with interval logic
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
Langley Research Center
Series statement
NASA contractor report
Series volume
181804
http://library.link/vocab/subjectName
  • Computer systems performance
  • Distributed processing
  • Logic design
  • Protocol (computers)
  • Proving
  • Real time operation
  • Specifications
Label
Specifying real-time systems with interval logic, John Rushby, principal investigator, (microform)
Instantiates
Publication
Note
Distributed to depository libraries in microfiche
Carrier category
microform
Carrier MARC source
local
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
ocm32616435
Extent
2 volumes .
Form of item
microfiche
Media category
microform
Media MARC source
rdamedia
Media type code
h
Reproduction note
Microfiche.
Stock number
N 89-23183 (v.1)
System control number
  • (GPO)95075914
  • (OCoLC)32616435
  • (GPO)95075914
  • (Sirsi) a531309
Label
Specifying real-time systems with interval logic, John Rushby, principal investigator, (microform)
Publication
Note
Distributed to depository libraries in microfiche
Carrier category
microform
Carrier MARC source
local
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
ocm32616435
Extent
2 volumes .
Form of item
microfiche
Media category
microform
Media MARC source
rdamedia
Media type code
h
Reproduction note
Microfiche.
Stock number
N 89-23183 (v.1)
System control number
  • (GPO)95075914
  • (OCoLC)32616435
  • (GPO)95075914
  • (Sirsi) a531309

Library Locations

    • Central Library, Jesse H. Jones BuildingBorrow it
      500 McKinney St., Houston, TX, 77002, US
      29.759431 -95.369953
Processing Feedback ...