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/29208781> ; # Gerald C. Cohen
   schema:contributor <http://experiment.worldcat.org/entity/work/data/3901681093#Organization/langley_research_center> ; # Langley Research Center.
   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#Organization/langley_research_center> # Langley Research Center.
    a schema:Organization ;
   schema:name "Langley Research Center." ;
    .

<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/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 "2017-01-20" ;
   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.