Greibach, Sheila A.  1939- <br/><br/>
Theory of program structures  schemes, semantics, verification 
Sheila A. Greibach 
 - Berlin  Springer Verlag  1975 
 - Various pagings  ill.  25 cm. 
 - Lecture notes in computer science  36 .
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>0387074155 (pbk.)  Rs. 32.00 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer programming<br/>Recursive programming<br/>Computer programs
<br/><br/><label>Dewey Class. No.: </label>001.6