Tan, Yang Meng <br/><br/>
Formal specification techniques for engineering modular C programs 
by Tan Yang Meng ; foreword by John Guttag 
 - Dordrecht ; Boston  Kluwer Academic Publishers  c1996 
 - xvi, 213 p. : ill. ; 25 cm 
<br/><br/> Includes bibliographical references (p. [205]-208) and index 
<br/><br/><label>ISBN: </label>9780792396536 
<br/><br/><label>ISSN: </label>95040529 
<br/><br/><label>Subjects--Topical Terms: </label><br/>C (Computer program language)<br/>Software engineering
<br/><br/><label>Dewey Class. No.: </label>005.133C TAN