DIJKSTRA, Edsger\-\\Wybe;  SCHOLTEN, Carel\-\\S. <br/><br/>
Predicate calculus and program semantics 
Edsger W. Dijkstra, Carel S. Scholten 
 - New York;  Berlin;  Heidelberg   Springer  1990 
 - X, 220 p. ; 24 cm 
 - Texts and Monographs in Computer Science\\Springer\ .
<br/><br/><label>ISBN: </label>0-387-96957-8;  3-540-96957-8 
<br/><br/><label>Source: </label>C-182490 
<br/><br/><label>Index Terms--Genre/Form: </label><br/> documentație
<br/><br/><label>Universal Decimal Class. No.: </label>004.42510.635