skip to content
An elementary tutorial on formal specification and verification using PVS Preview this item
ClosePreview this item
Checking...

An elementary tutorial on formal specification and verification using PVS

Author: Ricky W Butler; Langley Research Center.
Publisher: Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va.] : [National Technical Information Service, distributor], [1993]
Series: NASA technical memorandum, 108991.
Edition/Format:   Book   Microform : National government publication : Microfiche : EnglishView all editions and formats
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: Ricky W Butler; Langley Research Center.
OCLC Number: 30533025
Notes: Shipping list no.: 94-0070-M.
Reproduction Notes: Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1993]. 1 microfiche.
Description: 68 pages : illustrations ; 28 cm.
Series Title: NASA technical memorandum, 108991.
Responsibility: Ricky W. Butler.

Reviews

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

Tags

Be the first.

Similar Items

Related Subjects:(1)

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/30533025> # An elementary tutorial on formal specification and verification using PVS
    a bgn:Microform, schema:CreativeWork, schema:Book ;
   library:oclcnum "30533025" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/31883096#Place/hampton_va> ; # Hampton, Va.
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/vau> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/31883096#Place/springfield_va> ; # Springfield, Va.
   schema:about <http://id.worldcat.org/fast/872297> ; # Computer networks
   schema:contributor <http://viaf.org/viaf/127305149> ; # Langley Research Center.
   schema:creator <http://viaf.org/viaf/43253039> ; # Ricky W. Butler
   schema:datePublished "1993" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/31883096> ;
   schema:genre "National government publication"@en ;
   schema:genre "Government publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/31883096#Series/nasa_technical_memorandum> ; # NASA technical memorandum ;
   schema:name "An elementary tutorial on formal specification and verification using PVS"@en ;
   schema:productID "30533025" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/30533025#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/31883096#Agent/national_technical_information_service_distributor> ; # [National Technical Information Service, distributor]
   schema:publisher <http://experiment.worldcat.org/entity/work/data/31883096#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/30533025> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/31883096#Series/nasa_technical_memorandum> # NASA technical memorandum ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/30533025> ; # An elementary tutorial on formal specification and verification using PVS
   schema:name "NASA technical memorandum ;" ;
    .

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

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

<http://viaf.org/viaf/43253039> # Ricky W. Butler
    a schema:Person ;
   schema:familyName "Butler" ;
   schema:givenName "Ricky W." ;
   schema:name "Ricky W. Butler" ;
    .

<http://www.worldcat.org/title/-/oclc/30533025#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/31883096#Place/springfield_va> ; # Springfield, Va.
   schema:location <http://experiment.worldcat.org/entity/work/data/31883096#Place/hampton_va> ; # Hampton, Va.
   schema:organizer <http://experiment.worldcat.org/entity/work/data/31883096#Agent/national_technical_information_service_distributor> ; # [National Technical Information Service, distributor]
   schema:organizer <http://experiment.worldcat.org/entity/work/data/31883096#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.