Welcome to the Kids' Library!

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

Back to Search Results

Available items only

Previous Record Next Record

E-Book/E-Doc

Title A methodology for the design and verification of globally asynchronous/locally synchronous architectures [electronic resource] / Steven P. Miller ... [et al.].

Imprint

Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [2005]

Connect to
Connect to https://permanent.fdlp.gov/gpo19353/20050229914-2005230493.pdf
Connect to https://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/20050229914.pdf

Copies

Location	Call No.	OPAC Message	Status
Axe Federal Documents Online	NAS 1.26:2005-213912	---	Available

Description	1 online resource (vi, 35 p.) : ill.
Series	NASA/CR ; 2005-213912
	NASA contractor report ; NASA CR-213912.
Note	Title from title screen (viewed on March 5, 2012).
	"September 2005."
Bibliography	Includes bibliographical references. (p. 34-35)
Funding	Prepared under cooperative agreement NCCI-01001 23-079-30-10
Subject	Complex systems.
	Program verification (computers).
	Synchronism.
	Proving.
	Computers.
Added Author	Miller, Steven P.
	Langley Research Center.
Gpo Item No.	0830-H-14 (online)
Sudoc No.	NAS 1.26:2005-213912