Item Details

Print View

Research on the Application of Formal Software Specification to Digital Nuclear Safety Systems

Knight, John C
Format
Book
Published
1995.
Notes
  • UVA/529160/CS96/101
  • Grant No.NRC-04-94-093
Technical Details
  • Access in Virgo Classic
  • Staff View

    LEADER 00669cam a22002177? 4500
    001 u2494195
    003 SIRSI
    008 921002s1995????????????????????????????d
    035
      
      
    a| (Sirsi) ALX2754
    040
      
      
    a| VA@ c| VA@
    049
      
      
    a| VA@@
    100
    1
      
    a| Knight, John C.
    245
    1
    0
    a| Research on the application of formal software specification to digital nuclear safety systems.
    260
      
      
    c| 1995.
    500
      
      
    a| UVA/529160/CS96/101
    513
      
      
    a| Annual report. b| September 1, 1994-Auguest 31, 1995.
    500
      
      
    a| Grant No.NRC-04-94-093
    596
      
      
    a| 5
    999
      
      
    a| SEAS Rep. 95-0009 w| ALPHANUM i| X004199504 l| STACKS m| SCI-ENG t| BOOK
▾See more
▴See less

Availability

Library Location Map Availability Call Number
Brown Science and Engineering Stacks N/A Available