Rigorous Software Development An Introduction to Program Verification / by José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa.

Rigorous Software Development An Introduction to Program Verification /

The use of mathematical methods in the development of software is essential when reliable systems are sought; in particular they are now strongly recommended by the official norms adopted in the production of critical software. Program Verification is the area of computer science that studies mathem...

Full description

Saved in:
Bibliographic Details
Main Author: Almeida, José Bacelar
Corporate Author: SpringerLink (Online service)
Other Authors: Frade, Maria João, Pinto, Jorge Sousa, Melo de Sousa, Simão
Format: Electronic eBook
Language:English
Published: London : Springer London : Imprint: Springer, 2011.
Series:Undergraduate topics in computer science.
Subjects:
Computer science.
Software engineering.
Logic design.
Algebra > Data processing.
Online Access: Full text (Wentworth users only).

Internet

Full text (Wentworth users only).

Similar Items