Martin, James <br/><br/>
System design from provably correct constructs 

 - Englewood Cliffs  Prentice Hall  1985 
 - 392 p 
<br/><br/><label>ISBN: </label>013881483X 
<br/><br/><label>Subjects--Topical Terms: </label><br/>System design . Electronic digital computers_Programming.
<br/><br/><label>LC Class. No.: </label>QA 76.9 .S88 M37/