skip to content
Towards the formal specificatin of the requirements and design of a processor interface unit : HOL listings Preview this item
ClosePreview this item
Checking...

Towards the formal specificatin of the requirements and design of a processor interface unit : HOL listings

Author: David A Fura; Phillip J Windley; Gerald C Cohen; Langley Research Center.
Publisher: Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va.] : [National Technical Information Service, distributor], [1993]
Series: NASA contractor report, NASA CR-191465.
Edition/Format:   Book   Microform : National government publication : Microfiche : English
Database:WorldCat
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Specifications
Material Type: Government publication, National government publication
Document Type: Book
All Authors / Contributors: David A Fura; Phillip J Windley; Gerald C Cohen; Langley Research Center.
OCLC Number: 31162722
Notes: Distributed to depository libraries in microfiche.
Shipping list no.: 94-0441-M.
Reproduction Notes: Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1994]. 3 microfiches.
Description: 1 volume.
Series Title: NASA contractor report, NASA CR-191465.
Responsibility: David A. Fura, Phillip J. Windley, Gerald C. Cohen.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/31162722> # Towards the formal specificatin of the requirements and design of a processor interface unit : HOL listings
    a schema:Book, bgn:Microform, schema:CreativeWork ;
    library:oclcnum "31162722" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/3901681093#Place/hampton_va> ; # Hampton, Va.
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/vau> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/3901681093#Place/springfield_va> ; # Springfield, Va.
    schema:about <http://id.loc.gov/authorities/subjects/sh85029507> ; # Computer interfaces
    schema:about <http://id.worldcat.org/fast/872238> ; # Computer interfaces
    schema:about <http://id.worldcat.org/fast/921988> ; # Fault-tolerant computing
    schema:contributor <http://viaf.org/viaf/125064709> ; # Langley Research Center.
    schema:contributor <http://viaf.org/viaf/29208781> ; # Gerald C. Cohen
    schema:contributor <http://viaf.org/viaf/28781627> ; # Phillip J. Windley
    schema:creator <http://viaf.org/viaf/269871501> ; # David A. Fura
    schema:datePublished "1993" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/3901681093> ;
    schema:genre "National government publication"@en ;
    schema:genre "Government publication"@en ;
    schema:genre "Specifications"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3901681093#Series/nasa_contractor_report> ; # NASA contractor report ;
    schema:name "Towards the formal specificatin of the requirements and design of a processor interface unit : HOL listings"@en ;
    schema:productID "31162722" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/31162722#PublicationEvent/hampton_va_national_aeronautics_and_space_administration_langley_research_center_springfield_va_national_technical_information_service_distributor_1993> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/3901681093#Agent/national_technical_information_service_distributor> ; # [National Technical Information Service, distributor]
    schema:publisher <http://experiment.worldcat.org/entity/work/data/3901681093#Agent/national_aeronautics_and_space_administration_langley_research_center> ; # National Aeronautics and Space Administration, Langley Research Center
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/31162722> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/3901681093#Agent/national_aeronautics_and_space_administration_langley_research_center> # National Aeronautics and Space Administration, Langley Research Center
    a bgn:Agent ;
    schema:name "National Aeronautics and Space Administration, Langley Research Center" ;
    .

<http://experiment.worldcat.org/entity/work/data/3901681093#Agent/national_technical_information_service_distributor> # [National Technical Information Service, distributor]
    a bgn:Agent ;
    schema:name "[National Technical Information Service, distributor]" ;
    .

<http://experiment.worldcat.org/entity/work/data/3901681093#Place/springfield_va> # Springfield, Va.
    a schema:Place ;
    schema:name "Springfield, Va." ;
    .

<http://experiment.worldcat.org/entity/work/data/3901681093#Series/nasa_contractor_report> # NASA contractor report ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/31162722> ; # Towards the formal specificatin of the requirements and design of a processor interface unit : HOL listings
    schema:name "NASA contractor report ;" ;
    .

<http://id.loc.gov/authorities/subjects/sh85029507> # Computer interfaces
    a schema:Intangible ;
    schema:name "Computer interfaces"@en ;
    .

<http://id.worldcat.org/fast/872238> # Computer interfaces
    a schema:Intangible ;
    schema:name "Computer interfaces"@en ;
    .

<http://id.worldcat.org/fast/921988> # Fault-tolerant computing
    a schema:Intangible ;
    schema:name "Fault-tolerant computing"@en ;
    .

<http://viaf.org/viaf/125064709> # Langley Research Center.
    a schema:Organization ;
    schema:name "Langley Research Center." ;
    .

<http://viaf.org/viaf/269871501> # David A. Fura
    a schema:Person ;
    schema:familyName "Fura" ;
    schema:givenName "David A." ;
    schema:name "David A. Fura" ;
    .

<http://viaf.org/viaf/28781627> # Phillip J. Windley
    a schema:Person ;
    schema:familyName "Windley" ;
    schema:givenName "Phillip J." ;
    schema:name "Phillip J. Windley" ;
    .

<http://viaf.org/viaf/29208781> # Gerald C. Cohen
    a schema:Person ;
    schema:familyName "Cohen" ;
    schema:givenName "Gerald C." ;
    schema:name "Gerald C. Cohen" ;
    .

<http://www.worldcat.org/title/-/oclc/31162722>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/31162722> ; # Towards the formal specificatin of the requirements and design of a processor interface unit : HOL listings
    schema:dateModified "2016-10-10" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .

<http://www.worldcat.org/title/-/oclc/31162722#PublicationEvent/hampton_va_national_aeronautics_and_space_administration_langley_research_center_springfield_va_national_technical_information_service_distributor_1993>
    a schema:PublicationEvent ;
    schema:location <http://experiment.worldcat.org/entity/work/data/3901681093#Place/springfield_va> ; # Springfield, Va.
    schema:location <http://experiment.worldcat.org/entity/work/data/3901681093#Place/hampton_va> ; # Hampton, Va.
    schema:organizer <http://experiment.worldcat.org/entity/work/data/3901681093#Agent/national_technical_information_service_distributor> ; # [National Technical Information Service, distributor]
    schema:organizer <http://experiment.worldcat.org/entity/work/data/3901681093#Agent/national_aeronautics_and_space_administration_langley_research_center> ; # National Aeronautics and Space Administration, Langley Research Center
    schema:startDate "1993" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.