大约有9,000项符合查询结果项。（搜索耗时：0.0221秒）
为您推荐：
中国标准出版社第一辑室
中国标准出版社第一辑室著
中国质检出版社第一辑室
中国标准出版社第四辑室
中国标准出版社第二辑室
中国标准出版社第三辑室
-
（美）伯 格（Berg，H.K.）等著；宋国新等译1988 年出版250 页ISBN：7030002792
本书全面地介绍了程序验证理论、规范及有关的方法
-
顾丁锡，舒金华编著1988 年出版213 页ISBN：7800101003
-
苗春省编著1988 年出版133 页ISBN：711600226X
-
唐祖玮，张旭红编1988 年出版168 页ISBN：7304002751
-
涂艩生等编著1988 年出版485 页ISBN：7502000631
-
胡正顶，黄金华著1988 年出版200 页ISBN：7502001131
-
（日）浅野祐吾著；赵志民，李苑译1988 年出版258 页ISBN：7506507188
-
刘子超，赵云惠著1988 年出版391 页ISBN：7800341364
-
郭金贵，杨新立编著1988 年出版300 页ISBN：7115035512
-
伍成良，于长远主编1988 年出版417 页ISBN：7562901562
