Automated database applications testing : specification representation for automated reasoning
Rana FaridMikhail2010 年出版195 页ISBN:9812837288
Lecture Notes in Computer Science 124 Compiler Specification and Verification
1981 年出版269 页ISBN:3540108866
The Java language specification = Java语言规范 (英文版·第3版)
James Gosling2006 年出版656 页ISBN:711118839X
本书介绍JAVA语言及其语法。
Informatik-Fachberichte 36 The Use of Formal Specification of Software
1980 年出版388 页ISBN:3540104429
经济学中的经验建模 设定与评价 specification and evaluation
(英)克莱夫·W. J. 格兰杰(Clive W.J. Granger)著;洪福海译2005 年出版83 页ISBN:7300065767
本书是诺奖经济学奖获得者的力作,是关于怎样建立经济模型的思考。
CURRENT TRENDS IN PROGRAMMING METHODOLOGY Software Specification and Design Vol.1
RAYMOND T.YEH2222 年出版0 页ISBN:
Lecture Notes in Computer Science 3147 Integration of Software Specification Techniques for Applicat
2004 年出版628 页ISBN:3540231358