SOFTWARE REQUIREMENTS ANALYSIS AND SPECIFICATION
ALAN M.DAVIS2222 年出版516 页ISBN:0138246734
Knowledge specification for multiple legal tasks
Pepijn R. S. Visser1995 年出版250 页ISBN:9789041101327
THE JAVE LANGUAGE SPECIFICATION THIRD EDITION
[美]JAMES GOSLING BILL JOY GUY STEELE GILAD BRACHA著2006 年出版651 页ISBN:
Real-Time Systems Formal Specification and Automatic Verification
2008 年出版320 页ISBN:9780521883337
FORMAL VLSI SPECIFICATION AND SYNTHESIS VLSI Design Methods-I
1990 年出版413 页ISBN:044488372x
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
ZB 2002:Formal Specification and Development in Z and B
2222 年出版535 页ISBN:3540431667
The Java language specification = Java语言规范 (英文版·第3版)
James Gosling2006 年出版656 页ISBN:711118839X
本书介绍JAVA语言及其语法。