PakCat catalogue record

Logical construction of programs

By Warnier, Jean Dominique

Bibliographic details

Subjects

Computer programming., MCE