时序逻辑程序设计与软件工程
非常好的软件工程书，国人写的。有完整坚实的理论基础，很难读，很有价值，很被主流认可。
下载地址
用户评论
理论专著，XYZ是世界上第一个可执行的时序逻辑语言。
很不错，可作为软件方面的参考书
解决了我的困难，很好
不错的书，不过好难懂。