胡正国,蔡经球编著1987 年出版227 页ISBN:7561200005
内容包括:结构化程序、程序正确证明、递归程序及其正确证明、程序变化术等。
古津贤,范雁存主编2008 年出版348 页ISBN:9787202046296
本书是集团2007年重点选题《21世纪医学人文社会科学教学丛书》之一种。本书由医师法学资深教授组织编写,内容丰富,结构清晰,并且注重结合了医科大学人文社会科学学科教学的实际需求,实践性强,适合医科大学教学使...
上海市法学会《中国法学》杂志社主办2007 年出版155 页ISBN:750367587X
本书收集法理学、法制史、宪法、行政法、侵权行为法、商法、刑事法、国际法等各领域的学术论文,主题涉及现行热点难点或理论重点争点,作者多为各学科代表人物或领军人物。...