復刊投票コメント一覧

Z言語は現役だから

復刊おねがいします。

国際規格にもなっている仕様記述言語Z。　とてもむつかしいと思った人は、本書を読むとよいらしい。　
いきなり文法がでてくるのではなく、　論理演算についての足慣らしからはじまって、　順々にZの全体に言及していっている。　
Zに限らず、他の形式仕様記述言語を勉強する際にも、最初の部分は役立つ。