Kids Library Home

Welcome to the Kids' Library!

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

     
Available items only
E-Books/E-Docs

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]

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

 
    
Available items only