High integrity software / 
edited by Victor L. Winter,Sourav Bhattacharya. 
 - xiv,320p. :  illustrations ;  24 cm. 
 - The Kluwer international series in engineering and computer science; SECS 577 .
<br/><br/><label>ISBN: </label>0792379497 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software --Reliability.<br/>Computer software --Development.
<br/><br/><label>LC Class. No.: </label>QA76.76.R44   / .H53 2001