Barnes, John <br/><br/>
High integrity Ada:the SPARK approach 
John Barnes 
 - Harlow  Addison-Wesley  1997 
 - xvi, 368p. :  ill.  24cm. + 1 computer laser optical dics (4 3/4in.) 
<br/><br/> include index 
<br/><br/><label>ISBN: </label>0201175177 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Ada (Computer program language)