Image from Amazon.com
High integrity Ada : the SPARK approach / John Barnes with Praxis Critical Systems Limited.
Material type:
TextPublication details: Carlifonia : Addison Wesley, 1997.Description: xvi, 368 p. : ill. ; 25 cm. + 1 computer optical discISBN: - 0201175177
- 005.133 ADA BAR 1997
| Item type | Current library | Home library | Collection | Shelving location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|---|
AV Circulation
|
FIRST CITY UNIVERSITY COLLEGE | FIRST CITY UNIVERSITY COLLEGE | AV Circulation | CD Cabinet1 | 005.133 ADA BAR 1997 (Browse shelf(Opens below)) | Available | DD390 | ||
Open Collection
|
FIRST CITY UNIVERSITY COLLEGE | FIRST CITY UNIVERSITY COLLEGE | Open Collection | FCUC Library | 005.133 ADA BAR 1997 (Browse shelf(Opens below)) | Available | 00009142 |
Total holds: 0
Browsing FIRST CITY UNIVERSITY COLLEGE shelves, Shelving location: CD Cabinet1, Collection: AV Circulation Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 005.117 VIS 1999 Visual Basic 6 object-oriented programming gold book / | 005.12 ROE 1998 Software project cost and schedule estimating : | 005.13 EMB 2003 Embedded C programming and the Atmel AVR / | 005.133 ADA BAR 1997 High integrity Ada : | 005.133 ADA BEN 1998 Ada for software engineers / | 005.133 C++ ADA C++ : | 005.133 C++ CHA Sams teach yourself Visual C++ 6 in 21 days / |
Accompanying CD-ROM held at Circulation Desk : DD390.