「抽象によるソフトウェア設計」発売 - Yet Another Ranha

https://sites.google.com/site/softwareabstractionsja/ https://sites.google.com/site/softwareabstractionsja/about/toc ← 目次 本日7月15日金曜日、洋書「Software Abstractions」(http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=10928)の訳本である「抽象によるソフトウェア設計 Alloyではじめる形式手法」が発売されます。 実はレビュワーだったりしたので、発売当日になってしまいましたが、勝手に紹介するつもりです。 さて、本書はサブタイトルの通りでAlloyを使って何か色々しましょうという感じになっています。 いや、そもそも"Alloy"って何やねんという話なのですが、Alloy

[kaizen00]

とてもよい本が出ています。

[baronhorse]

文法の説明が弱いので巻末のリファレンスと行ったり来たりになって疲れる