Open Library logo
New Feature: You can now embed Open Library books on your website!   Learn More
Last edited by WorkBot
January 22, 2010 | History

Formal verification of an avionics microprocessor 1 edition

Formal verification of an avionics microprocessor
Mandayam K. Srivas

No ebook available.


Prefer the physical book? Check nearby libraries with:


Buy this book

Add an ISBN in order to
link to booksellers


There's no description for this book yet. Can you add one?
There is only 1 edition record, so we'll show it here...  •  Add edition?

Formal verification of an avionics microprocessor
Mandayam K. Srivas, Steven P. Miller.

Published 1995 by National Aeronautics and Space Administration, Langley Research Center, Available from the National Technical Information Service in Hampton, Va, Springfield, VA .
Written in English.

Edition Notes

"July 1995."

"Performing organization report number ECU 8200-270"--Report documentation page.

Includes bibliographical references (p. 96-100).

Performed by SRI International for the National Aeronautics and Space Administration, Langley Research Center NAS 1-18969.

Series
NASA contractor report -- NASA CR-4682.

The Physical Object

Pagination
viii, 100 p. :
Number of pages
100

ID Numbers

Open Library
OL17141118M
OCLC/WorldCat
33066014

History

Download catalog record: RDF / JSON
January 22, 2010 Edited by WorkBot add more information to works
December 11, 2009 Created by WorkBot add works page