Language: English

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Almeida, Jose Bacelar.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Rigorous software development = an introduction to program verification / by: SpringerLink (Online service); Almeida, Jose Bacelar. (Electronic resources)

Subjects

Software Engineering. Computer software- Development. Logics and Meanings of Programs. Computer Science. Computer software- Verification. Symbolic and Algebraic Manipulation.

Change password

Login