Zalewska, Anna  ( -2008). <br/><br/>
Program verification with algorithmic logic / 
Anna Zalewska. 
 - Warsaw :  Philomath,  2001. 
 - 105 s. ;  24 cm. 
 - Studies in the Methodology of the Social Sciences .
 - Studia z Metodologii Nauk Społecznych .
<br/><br/>Bibliogr. s. 101-105. 
<br/><br/><label>ISBN: </label>8391506924 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logika<br/>Algorytmy
<br/><br/><label>Universal Decimal Class. No.: </label>510.6 :  164 :  004.421