QA76.6

今天中午出門吃飯，回程臨時起意繞到圖書館去借 Tony Hoare 的《Communicating Sequential Processes》。索書號是 QA76.6 H57 1985，因此書在四樓的 QA76.6 區，作者姓氏以 H 開頭並有個子編號，最後是出版年。然後我就看到 Dijkstra 的《A Discipline of Programming》和 Gries 的《The Science of Programming》、Jon Bentley 的《Programming Pearls》和《More Programming Pearls》還有最近終於買到的《Algebra of Programming》，全在這一區。最後順手就借了包括 CSP 在內的三本 XD。

--
AoP 印得比我這本好一點，不公平 XD。