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 |
Browsing APIIT Library shelves, Shelving location: CD-ROM Shelf, Collection: CD-ROM Close shelf browser (Hides shelf browser)
CD-35-25 Microsoft Windows SharePoint services 3.0 step-by-step / | CD-35-26 Microsoft Office Sharepoint designer 2007 step by step / | CD-35-27 High integrity software : | CD-35-27A High integrity software : | CD-35-28 UML 2 toolkit / | CD-35-28A UML 2 toolkit / | CD-35-28B UML 2 toolkit / |
Includes bibliographical references (p. 421-424) and index.
There are no comments on this title.