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:
Hardware Description Languages and their Applications Specification
modelling1997 年出版350 页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