Software Abstractions

2006-04-21

Software Abstractions: Logic, Language, And Analysis 11:02

つい先日ついに

Software Abstractions: Logic, Language, and Analysis

Software Abstractions: Logic, Language, and Analysis

が出版されました。

現在の形式仕様記述の成熟度を示す良い本だと思います。

そこでここでは、私が少しずつこの本を読みながら、勉強していく過程を自分のためのメモとして残していこうと思います。