McCormick, John W. and Chapin, Peter C. <br/><br/>
Building High Integrity Applications with SPARK 

 - Cambridge :   Cambridge University Press,   ©2015. 
 - xiv, 367 p. 
<br/><br/><label>ISBN: </label>9781139629294 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer Science<br/>Software Engineering and Development<br/>Programming Languages and Applied Logic
<br/><br/><label>Dewey Class. No.: </label>9781139629294