Rigorous Software Development An Introduction to Program Verification /

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

Bibliographic Details
Main Authors: Almeida, José Bacelar (Author), Frade, Maria João (Author), Pinto, Jorge Sousa (Author), Melo de Sousa, Simão (Author)
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Language:English
Published: London : Springer London : Imprint: Springer, 2011.
Series:Undergraduate Topics in Computer Science,
Subjects:
Computer science.
Software engineering.
Computer logic.
Computer science > Mathematics.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Symbolic and Algebraic Manipulation.
Online Access:Full Text via HEAL-Link

Internet

Full Text via HEAL-Link

ΒΚΠ - Πατρα: ALFd

Holdings details from ΒΚΠ - Πατρα: ALFd
Call Number: 330.01 BAU
Copy 1 Available

ΒΚΠ - Πατρα: BSC

Holdings details from ΒΚΠ - Πατρα: BSC
Call Number: 330.01 BAU
Copy 2 Available
Copy 3 Available

Similar Items