酔眼漂流読書日記

本と音楽と酒場と言葉

Software Abstractions: Logic, Language, And Analysis

Software Abstractions: Logic, Language, and Analysis

Software Abstractions: Logic, Language, and Analysis