抽象によるソフトウェア設計 第4章 言語 その1

抽象によるソフトウェア設計−Alloyではじめる形式手法−

抽象によるソフトウェア設計−Alloyではじめる形式手法−

一週間ほどお休みしてしまいました。第4章に入ります。と言っても第3章の論理系でも基本的な文法や演算子の説明が含まれていましたけどね。