Click here to skip to this page's main content.

New to the Open Library? — Learn how it works
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 powered by WorldCat


Buy

Add an ISBN to link to booksellers

Crikey! There's no description for this book yet. Can you help?
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 Created December 11, 2009 · 2 revisions 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