Kids Library Home

Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

     
Available items only
E-Books/E-Docs
Author Brock, Bishop.

Title Report on the formal specification and partial verification of the VIPER microprocessor [electronic resource] / Bishop Brock and Warren A. Hunt, Jr.

Imprint Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; Austin, Texas : Computational Logic, Inc., [1991]

Copies

Location Call No. OPAC Message Status
 Axe Federal Documents Online  NAS 1.26:187540    ---  Available
Description 1 v.
Series NASA contractor report ; 187540
NASA contractor report ; NASA CR-187540.
Note "Purchase order L-39627C."
"July 1991."
"Technical report 46."
Form Mode of access via the NTRS web site.
Bibliography Includes bibliographical references.
Subject Computer techniques.
Consistency.
Design analysis.
Hardware.
Microprocessors.
Proving.
Specifications.
Added Author Hunt, Warren A.
Langley Research Center.
Gpo Item No. 0830-H-14 (online)
Sudoc No. NAS 1.26:187540

 
    
Available items only