TY  - BOOK
AU  - Barnes,John
TI  - High integrity Ada: the Spark approach
SN  - 0201175177
PY  - 1997///
CY  - Harlow
PB  - Addison-Wesley
KW  - Ada (Computer program language)
N1  - Book is accompanied by one CD, entitled'High integrity ada: The SPARK approach' bearing the same call number and available at Bahagian Koleksi Media; Includes bibliographical references (p. 361-362) and index
ER  -