Bacelar Almeida, José <br/><br/>
Rigorous software development;  An introduction to program verification / 
José Bacelar Almeida et.,al. 
 - New York (State) :  Springer,  2011 
 - xii,263 p. :  il. ;  16 x 24 cm. 
<br/><br/> Incluye índice. 
<br/><br/>Introduction. --An overview of formal methods tools and techniques. --Propositional logic. --First-order logic. --Hoare Logic. --Generating verification conditions. --Safety properties. --procedures and contracts. --Specifying C programs. --Verifying C programs. 
<br/><br/><label>ISBN: </label>978-0-85729-017-5 (pasta rústica) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>INGENIERÍA DE SOFTWARE<br/>DISEÑO LÓGICO<br/>ÁLGEBRA -- PROCESAMIENTO DE DATOS
<br/><br/><label>Dewey Class. No.: </label>005.14 R572r 2011