Catalog

Record Details

Catalog Search


Rigorous Software Development An Introduction to Program Verification Cover Image E-book E-book

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

Almeida, José Bacelar. (Author). Frade, Maria João. (Added Author). Pinto, Jorge Sousa. (Added Author). Melo de Sousa, Simão. (Added Author). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9780857290182
  • Physical Description: XIII, 307p. 52 illus. digital.
  • Publisher: London : Springer London, 2011.

Search for related items by subject

Subject: Computer science.
Software engineering.
Logic design.
Algebra > Data processing.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Symbolic and Algebraic Manipulation.

Search for related items by series

Electronic resources

Texto Completo


Additional Resources