Livercy, C. <br/><br/>
Théorie des programmes :  schémas, preuves, sémantique / 
par C. Livercy ; nom coll. de: Jean-Pierre Finance [et al.] ; préface C. Pair. 
 - Paris :  Dunod,  1978. 
 - XII, 328 s. :  il. ;  24 cm. 
 - Dunod Informatique. Phase Formation .
 - Dunod Informatique.  Phase Formation .
<br/><br/>Indeks. 
<br/><br/><label>ISBN: </label>2040105166 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Informatyka.
<br/><br/><label>Universal Decimal Class. No.: </label>519.68  681.3.06