Applications of formal methods 

 -  Prentice Hall International (Uk) Ltd. :  1996. 
<br/><br/><label>ISBN: </label>9780133669497 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Development
<br/><br/><label>LC Class. No.: </label>QA76.9.S88  / .A68 1996