PakCat catalogue record

Software abstractions

logic, language and analysis

By Jackson, Daniel

Bibliographic details

Subjects

Computer software