skip to content
Abstract datatypes in PVS Preview this item
ClosePreview this item
Checking...

Abstract datatypes in PVS

Author: Sam Owre; Natarajan Shankar; Langley Research Center.
Publisher: Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va.] : [National Technical Information Service, distributor], [1997]
Series: NASA contractor report, NASA CR-206264.
Edition/Format:   Book   Microform : National government publication : Microfiche : English
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

Material Type: Government publication, National government publication
Document Type: Book
All Authors / Contributors: Sam Owre; Natarajan Shankar; Langley Research Center.
OCLC Number: 41603263
Notes: Shipping list no.: 99-0631-M.
Reproduction Notes: Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1999]. 1 microfiche.
Description: 1 volume.
Series Title: NASA contractor report, NASA CR-206264.
Responsibility: Sam Owre and Natarajan Shankar.

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/41603263> # Abstract datatypes in PVS
    a bgn:Microform, schema:Book, schema:CreativeWork ;
   library:oclcnum "41603263" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/26497611#Place/hampton_va> ; # Hampton, Va.
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/26497611#Place/springfield_va> ; # Springfield, Va.
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/vau> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/26497611#Topic/data_structures> ; # Data structures
   schema:about <http://experiment.worldcat.org/entity/work/data/26497611#Topic/trees_mathematics> ; # Trees (Mathematics)
   schema:about <http://experiment.worldcat.org/entity/work/data/26497611#Topic/binary_data> ; # Binary data
   schema:about <http://experiment.worldcat.org/entity/work/data/26497611#Topic/data_processing> ; # Data processing
   schema:about <http://id.worldcat.org/fast/1091984> ; # Recursive functions
   schema:about <http://id.worldcat.org/fast/831867> ; # Binary-coded decimal system
   schema:about <http://experiment.worldcat.org/entity/work/data/26497611#Topic/prototypes> ; # Prototypes
   schema:contributor <http://viaf.org/viaf/127305149> ; # Langley Research Center.
   schema:contributor <http://viaf.org/viaf/69020687> ; # Natarajan Shankar
   schema:creator <http://experiment.worldcat.org/entity/work/data/26497611#Person/owre_sam> ; # Sam Owre
   schema:datePublished "1997" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/26497611> ;
   schema:genre "Government publication"@en ;
   schema:genre "National government publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/26497611#Series/nasa_contractor_report> ; # NASA contractor report ;
   schema:name "Abstract datatypes in PVS"@en ;
   schema:productID "41603263" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/41603263#PublicationEvent/hampton_va_national_aeronautics_and_space_administration_langley_research_center_springfield_va_national_technical_information_service_distributor_1997> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/26497611#Agent/national_aeronautics_and_space_administration_langley_research_center> ; # National Aeronautics and Space Administration, Langley Research Center
   schema:publisher <http://experiment.worldcat.org/entity/work/data/26497611#Agent/national_technical_information_service_distributor> ; # [National Technical Information Service, distributor]
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/41603263> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/26497611#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/26497611#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/26497611#Place/springfield_va> # Springfield, Va.
    a schema:Place ;
   schema:name "Springfield, Va." ;
    .

<http://experiment.worldcat.org/entity/work/data/26497611#Series/nasa_contractor_report> # NASA contractor report ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/41603263> ; # Abstract datatypes in PVS
   schema:name "NASA contractor report ;" ;
   schema:name "[NASA contractor report] ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/26497611#Topic/trees_mathematics> # Trees (Mathematics)
    a schema:Intangible ;
   schema:name "Trees (Mathematics)"@en ;
    .

<http://id.worldcat.org/fast/1091984> # Recursive functions
    a schema:Intangible ;
   schema:name "Recursive functions"@en ;
    .

<http://id.worldcat.org/fast/831867> # Binary-coded decimal system
    a schema:Intangible ;
   schema:name "Binary-coded decimal system"@en ;
    .

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

<http://viaf.org/viaf/69020687> # Natarajan Shankar
    a schema:Person ;
   schema:familyName "Shankar" ;
   schema:givenName "Natarajan" ;
   schema:name "Natarajan Shankar" ;
    .

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


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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