|
|
|
|
| LEADER |
00000nam a22000007a 4500 |
| 001 |
16dcee86-0a7c-4812-8798-1c08f1263078 |
| 005 |
20240705000000.0 |
| 008 |
950608m19889999vau b f000 0 eng d |
| 035 |
|
|
|a (OCoLC)32616435
|
| 037 |
|
|
|a N 89-23183 (v.1)
|b NASA
|
| 040 |
|
|
|a GPO
|c GPO
|d DLC
|
| 049 |
|
|
|a [MF] MNUJ
|
| 074 |
|
|
|a 0830-H-14 (MF)
|
| 086 |
0 |
|
|a NAS 1.26:181804
|
| 099 |
|
|
|a NAS 1.26:181804
|
| 100 |
1 |
|
|a Rushby, John,
|d 1949-
|
| 245 |
1 |
0 |
|a Specifying real-time systems with interval logic /
|c John Rushby, principal investigator.
|
| 246 |
3 |
|
|a Specifying real time systems with interval logic
|
| 260 |
|
|
|a Hampton, Va. :
|b National Aeronautics and Space Administration, Langley Research Center ;
|a [Springfield, Va.] :
|b [National Technical Information Service, distributor],
|c [1988-]
|
| 300 |
|
|
|a 2 volumes.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a microform
|b h
|2 rdamedia
|
| 338 |
|
|
|a microfiche
|b he
|2 rdacarrier
|
| 490 |
1 |
|
|a NASA contractor report ;
|v 181804
|
| 500 |
|
|
|a Distributed to depository libraries in microfiche.
|
| 533 |
|
|
|a Microfiche.
|b [Washington, D.C. :
|c National Aeronautics and Space Administration,
|d 1989-
|e <1> microfiche.
|
| 650 |
|
7 |
|a Computer systems performance.
|2 nasat
|
| 650 |
|
7 |
|a Distributed processing.
|2 nasat
|
| 650 |
|
7 |
|a Logic design.
|2 nasat
|
| 650 |
|
7 |
|a Protocol (Computers)
|2 nasat
|
| 650 |
|
7 |
|a Proving.
|2 nasat
|
| 650 |
|
7 |
|a Real time operation.
|2 nasat
|
| 650 |
|
7 |
|a Specifications.
|2 nasat
|
| 710 |
2 |
|
|a Langley Research Center.
|
| 830 |
|
0 |
|a NASA contractor report ;
|v NASA CR-181804.
|
| 999 |
1 |
0 |
|i 16dcee86-0a7c-4812-8798-1c08f1263078
|l 9949456260001701
|s US-MNU
|m specifying_real_time_systems_with_interval_logic___________________________1988_______natioa________________________________________rushby__john_______________________nas_1_26_181804p
|