Welcome to the Kids' Library!
Search for books, movies, music, magazines, and more.
Your session will expire automatically in
0
seconds.
Continue session
End session now
Back to Search Results
SearchType
Keyword
Author
Title
Subject
Call Number
Search
Search Scope
PSU Library Consortium
Pittsburg State University
Academic Libraries
Public Libraries
Pittsburg Area
Unified School District
Leonard H. Axe Library
Career Resource Center Library
Eureka Public Library
Fort Scott Community College Library
George Nettels Elementary School Library
Kansas Technology Center Library
Lakeside Elementary School Library
Meadowlark Elementary School Library
Parsons Public Library
Pittsburg Community Middle School Library
Pittsburg High School Library
Pittsburg Public Library
Sedan Public Library
Westside Elementary School Library
Childrens Collection
Available items only
Previous Record
Next Record
ElectronicResource GovDoc
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]
Connect to
Connect to http://purl.access.gpo.gov/GPO/LPS67756
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