Kids Library Home

Welcome to the Kids' Library!

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

Back to Search Results Limit/Sort Search
     
Available items only
Add Marked to Bag Add All On Page
SuDoc Numbers (1-2 of 2)
Nas 1. 26 :187540
1
E-Book/E-Doc
 

Report on the formal specification and partial verification of the VIPER microprocessor


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

Rating:

Website

Copies

Location Call No. OPAC Message Status
 Axe Federal Documents Online  NAS 1.26:187540    ---  Available
2
E-Book/E-Doc
 

Report on the formal specification and partial verification of the VIPER microprocessor


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

Rating:

Website

Copies

Location Call No. OPAC Message Status
 Axe Federal Documents Online  NAS 1.26:187540    ---  Available
Add Marked to Bag Add All On Page
Locate in results
Back to Search Results Limit/Sort Search
 
    
Available items only