Greibach, Sheila A.  (1939- ). <br/><br/>
Theory of program structures :  schemes, semantics, verification / 
Sheila A. Greibach. 
 - Berlin [etc.] :  Springer-Verlag,  1975. 
 - 379 s. (pag. varia) :  il. ;  25 cm. 
 - Lecture Notes in Computer Science ;  36 .
 - Lecture Notes in Computer Science  36 .
<br/><br/>Bibliogr. s. B-1-B-4. Indeks. 
<br/><br/>
<br/><br/><label>ISBN: </label>3540074155 0387074155 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Komputery--programowanie.<br/>Oprogramowanie.