Item Details

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

  • LEADER 00670cam 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| 14
    999
      
      
    a| SEAS Rep. 95-0009 w| ALPHANUM i| X004199504 l| BY-REQUEST m| IVY t| BOOK

Availability

Library Location Map Availability Call Number
Ivy By Request N/A Available