Almeida, José Bacelar.
Rigorous Software Development An Introduction to Program Verification / [electronic resource] : by José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa. - London : Springer London, 2011. - digital. - Undergraduate Topics in Computer Science, 1863-7310 . - Undergraduate Topics in Computer Science, .
9780857290182
10.1007/978-0-85729-018-2 doi
Computer science.
Software engineering.
Logic design.
Algebra--Data processing.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Symbolic and Algebraic Manipulation.
QA76.758
005.1
Rigorous Software Development An Introduction to Program Verification / [electronic resource] : by José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa. - London : Springer London, 2011. - digital. - Undergraduate Topics in Computer Science, 1863-7310 . - Undergraduate Topics in Computer Science, .
9780857290182
10.1007/978-0-85729-018-2 doi
Computer science.
Software engineering.
Logic design.
Algebra--Data processing.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Symbolic and Algebraic Manipulation.
QA76.758
005.1