PakCat catalogue record

Mathematics of Program Construction

By Philippe Audebaud

Bibliographic details

Subjects

NULL