« 今日は『迎え火』(東京の迎え火は7月に実施する)~初夏の日本的行事 | トップページ | 炎天下のレールと夏休み »

2012年7月20日 (金)

書籍『The Way of Z』~やっぱり良い形式記述言語Z

少し古い書籍であるが評判が良い形式記述言語の書籍に『The Way of Z』がある。

L1010476 

この手の本は日本では数がなく、また内容もあまり良いモノがないのでほとんど海外の本となる。

Zの書籍ではかなり簡単な解説で記述されている。

中身はこんな感じ。

L1010477

L1010478_2

L1010479

L1010480

L1010481

|

« 今日は『迎え火』(東京の迎え火は7月に実施する)~初夏の日本的行事 | トップページ | 炎天下のレールと夏休み »

「パソコン・インターネット」カテゴリの記事