《Design by Contract原则与实践》是国内第一本系统阐述“契约式设计”思想和方法的译作，深刻理解和充分发挥契约在面向对象软件设计中的作用。《Design by Contract原则与实践》通过Eiffel、Java实例透彻分析DbC思想方法。引入DbC六大原则和六大准则，指导你的应用实践。精辟分析DbC在C/C++语言中的应用。