Building high integrity applications with SPARK
John W. McCormick ; Peter C. Chapin2015 年出版368 页ISBN:1107040731
MATHEMATICAL METHODS USING MATHEMATICA
Sadri Hassani2003 年出版235 页ISBN:0387955232
FOUNDATIONS OF MATHEMATICAL ECONOMICS
MICHAEL CARTER2001 年出版649 页ISBN:0262032899
MODEL CODE OF PROFESSIONAL RESPONSIBILITY AND CODE OF JUDICIAL CONDUCT
1986 年出版134 页ISBN:0897072766