有关用Z方法进行形式化规范介绍,很有用的电子书籍。

Latex讲义Latex中文排版与介绍电子排版系统的出现给印刷出版业带来了一场革命,利用电子计算机及...