0%

为什么是第二个?因为第一个……

小记。

《数据库系统基础教程》《数据库系统全书》

Formal Specification Using Z by David Lightfoot

宣言

Primary Practice h62

Primary Practice h61