Lecture Notes in Artificial Intelligence 2605 Mechanizing Mathematical Reasoning Essays in Honro of
2005 年出版565 页ISBN:3540250514
MEMOIRS OF THE AMERICAN MATHEMATICAL SOCIETY NUMBER 224: STRUCTURE OF REGULAR SEMIGROUPS. I
1979 年出版119 页ISBN:0821822241
(美)Richard Mitchell,(美)Jim Mckim著;孟岩译2003 年出版252 页ISBN:7115115702
本书通过Eiffel和Java实例,阐述了“契约式设计(Design by Contract)”的思想原则和应用方法,帮助读者掌握如何在面向对象软件设计过程中应用契约。...