Start Over Please hold this item Export MARC Display Return To Browse
 
     
Limit search to available items
Record: Previous Record Next Record
Author Barnes, J. G. P. (John Gilbert Presslie)
Title High integrity Ada : the SPARK approach / John Barnes with Praxis Critical Systems Limited.
Publication Info Harlow : Addison-Wesley, 1997.


LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 76.73 A2 B2  8 WEEK LOAN  AVAILABLE
Persistent link to this item
Click link and copy URL from browser navigation toolbar

Descript 368p. + 1 CD-ROM.
Note Includes 1 CD-ROM.
ISBN 0201175177
 Click on the terms below to find similar items in the catalogue
Author Barnes, J. G. P. (John Gilbert Presslie)
Subject Ada (Computer program language)
Alt author Praxis Critical Systems Limited.
Descript 368p. + 1 CD-ROM.
Note Includes 1 CD-ROM.
ISBN 0201175177
Author Barnes, J. G. P. (John Gilbert Presslie)
Subject Ada (Computer program language)
Alt author Praxis Critical Systems Limited.
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  QA 76.73 A2 B2  8 WEEK LOAN  AVAILABLE

Subject Ada (Computer program language)
Descript 368p. + 1 CD-ROM.
Note Includes 1 CD-ROM.
Alt author Praxis Critical Systems Limited.
ISBN 0201175177
Persistent link to this item
Click link and copy URL from browser navigation toolbar

Links and services for this item:

Persistent link to this item
Click link and copy URL from browser navigation toolbar