Kids Library Home

Welcome to the Kids' Library!

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

     
Available items only
E-Books/E-Docs
Author Siminiceanu, Radu I.

Title Automated verification of specifications with typestates and access permissions [electronic resource] / Radu I. Siminiceanu, Nestor Cataņo.

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

Copies

Location Call No. OPAC Message Status
 Axe Federal Documents Online  NAS 1.26:2011-217170    ---  Available
Description 1 online resource (31 p.)
Series NASA/CR ; 2011-217170
NASA contractor report ; NASA CR-217170.
Note Title from title screen (viewed on Dec. 21, 2011).
"August 2011."
Bibliography Includes bibliographical references. (p. 19-20)
Funding Prepared cooperative agreement NNX08AC59A 534723.02.02.07.40
Subject Program verification (computers).
Specifications.
Approach control.
Data flow analysis.
Algorithms.
Parallel programming.
Added Author Cataņo, Nestor.
Langley Research Center.
Gpo Item No. 0830-H-14 (online)
Sudoc No. NAS 1.26:2011-217170

 
    
Available items only