大约有6,000项符合查询结果项。（搜索耗时：0.0284秒）
为您推荐：
我们生活在巨大的差距中
金刚经活在无惧的生命里
在旷野里
为什么我们总是在防御
生活在碎片之中 论后现代道德
巨大的鸿沟
-
（美）伯 格（Berg，H.K.）等著；宋国新等译1988 年出版250 页ISBN：7030002792
本书全面地介绍了程序验证理论、规范及有关的方法
-
（苏）莫依谢延科，（苏）波波夫著；张仁德，乔葆和译1988 年出版139 页ISBN：7310000153
著者原题:H·莫依谢延科
-
王承绪等编译1988 年出版314 页ISBN：7533804562
-
余惕君，阮青编著1988 年出版301 页ISBN：7313001126
-
许伟光，丘挺主编1988 年出版360 页ISBN：7805413088
-
华百行，黄益平编1988 年出版120 页ISBN：7540803398
-
（苏）雷巴科夫（Рыбаков，А.）著；范国恩等译1988 年出版810 页ISBN：7505903144
-
陈汉清，邓希敏著1988 年出版479 页ISBN：7560902472
-
曹峥岩，马万里主编1988 年出版599 页ISBN：7562000964
-
（日）林周二著；汪仲译1988 年出版173 页ISBN：
