Item Details

Print View

High Integrity Ada: The SPARK Approach

John Barnes with Praxis Critical Systems Limited
Format
Book
Published
Harlow : Addison-Wesley, 1997.
Language
English
ISBN
0201175177
Description
xvi, 368 p. : ill. ; 25 cm. + 1 computer laser optical disc (4 3/4 in.) .
Notes
  • Includes index.
  • Bibliography: p. 361-362.
Technical Details
  • Access in Virgo Classic
  • Staff View

    LEADER 00970nam a2200301 a 4500
    001 u2731983
    003 SIRSI
    005 19971111163358.0
    008 971001s1997 enka 001 0 eng d
    010
      
      
    a| gb 97050416
    015
      
      
    a| GB97-50416
    020
      
      
    a| 0201175177
    035
      
      
    a| (Sirsi) o37793198
    035
      
      
    a| (OCoLC)37793198
    040
      
      
    a| UKM c| UKM
    049
      
      
    a| VA@@
    082
    0
    4
    a| 005.133 2| 21
    100
    1
      
    a| Barnes, J. G. P. q| (John Gilbert Presslie)
    245
    1
    0
    a| High integrity Ada : b| the SPARK approach / c| John Barnes with Praxis Critical Systems Limited.
    260
      
      
    a| Harlow : b| Addison-Wesley, c| 1997.
    300
      
      
    a| xvi, 368 p. : b| ill. ; c| 25 cm. + e| 1 computer laser optical disc (4 3/4 in.) .
    500
      
      
    a| Includes index.
    504
      
      
    a| Bibliography: p. 361-362.
    596
      
      
    a| 5
    650
      
    0
    a| Ada (Computer program language)
    710
    2
      
    a| Praxis Critical Systems Limited.
    999
      
      
    a| QA76.73 .A35 B366 1997 w| LC i| X004115369 l| STACKS m| SCI-ENG t| BOOK
▾See more
▴See less

Availability

Google Preview

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