PakCat catalogue record

Software Abstractions

Logic, language and analysis

By Jackson, Daniel

Bibliographic details