High integrity software : the Spark approach to safety and security / John Barnes with Praxis Critical Systems Limited.
Material type: TextPublication details: London ; Pearson Education, c2003Description: xvii, 430 p. ; 24 cm. + 1 CD-ROM (4 3/4 in.)ISBN: 0321136160 (hbk.); 9780321136169 (hbk.)Subject(s): Computer software -- Reliability | Computer software -- Development | Ada (Computer program language)DDC classification: 005.1 LOC classification: QA76.76.R44 | B37 2003Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
General Circulation | APIIT Library CD-ROM Shelf | CD-ROM | CD-35-27 (Browse shelf (Opens below)) | 1 | Available (No use restrictions) | 00035462 | |
General Circulation | APIIT Library CD-ROM Shelf | CD-ROM | CD-35-27A (Browse shelf (Opens below)) | 2 | Available (No use restrictions) | 00035484 | |
General Circulation | APU Library Open Shelf | Book | QA76.76.R44 B37 2003 c.1 (Browse shelf (Opens below)) | 1 | Available (No use restrictions) | 00008233 | |
General Circulation | APU Library Open Shelf | Book | QA76.76.R44 B37 2003 c.2 (Browse shelf (Opens below)) | 2 | Available (No use restrictions) | 00008234 |
Includes bibliographical references (p. 421-424) and index.
There are no comments on this title.