Barnes, John. <br/><br/>
High integrity Ada :  the Spark approach 
John Barnes. 
 - Harlow :  Addison-Wesley,  1997. 
 - 368 p. ;  24 cm. +  1 computer optical disc (4 3/4 in.). 
<br/><br/> Book is accompanied by one CD, entitled'High integrity ada: The SPARK approach' bearing the same call number and available at Bahagian Koleksi Media. 
<br/><br/>Includes bibliographical references (p. 361-362) and index. 
<br/><br/><label>ISBN: </label>0201175177  RM182.44 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Ada (Computer program language).