Rigorous software development; An introduction to program verification /
Bacelar Almeida, José
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.
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.
978-0-85729-017-5 (pasta rústica)
INGENIERÍA DE SOFTWARE
DISEÑO LÓGICO
ÁLGEBRA -- PROCESAMIENTO DE DATOS
005.14 R572r 2011
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.
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.
978-0-85729-017-5 (pasta rústica)
INGENIERÍA DE SOFTWARE
DISEÑO LÓGICO
ÁLGEBRA -- PROCESAMIENTO DE DATOS
005.14 R572r 2011