High integrity Ada : the SPARK approach / John Barnes with Praxis Critical Systems Limited.

By:

Material type: Text

TextPublication details: Carlifonia : Addison Wesley, 1997.Description: xvi, 368 p. : ill. ; 25 cm. + 1 computer optical discISBN:

Subject(s):

DDC classification:

Average rating: 0.0 (0 votes)

Holdings
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

Accompanying CD-ROM held at Circulation Desk : DD390.

High integrity Ada : the SPARK approach / ​ John Barnes with Praxis Critical Systems Limited.