PakCat catalogue record

Program construction and verification

By Backhouse, Roland C.

Bibliographic details

Subjects

Computer programming.