TY  - BOOK
AU  - Bacelar Almeida, José
AU  - Joao Frade, Maria. Coautora
AU  - Sousa Pinto, Jorge. Coautor
AU  - Melo de Sousa, Simao. Coautor.
TI  - Rigorous software development: An introduction to program verification 
SN  - 978-0-85729-017-5 (pasta rústica)
U1  - 005.14 R572r 2011 
PY  - 2011///
CY  - New York (State)
PB  - Springer
KW  - INGENIERÍA DE SOFTWARE
KW  - DISEÑO LÓGICO
KW  - ÁLGEBRA -- PROCESAMIENTO DE DATOS
N1  - Incluye índice; 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
ER  -