Dijkstra, Edsger W. <br/><br/>
Predicate calculus and program semantics / 
Edsger W. Dijkstra, Carel S. Scholten 
 - x, 220 páginas :  ilustraciones 
 - Texts and monographs in computer science .
<br/><br/>On structures-- On substitution and replacement-- On functions and equality-- On our proof format-- The calculus of boolean structures-- Some properties of predicate transformers-- Semantics of straight-line programs-- Equations in predicates and their extreme solutions-- Semantics of repetitions-- Operational considerations-- Converse predicate transformers-- The strongest postcondition  
<br/><br/><label>ISBN: </label>0387969578 
<br/><br/><label>Subjects--Topical Terms: </label><br/>CALCULO DE PREDICADOS<br/>LENGUAJES DE PROGRAMACIÓN (computadores electrónicos)--SEMANTICA
<br/><br/><label>Dewey Class. No.: </label>511.3  / D575