模板:Cite isbn/testcases

维基百科,自由的百科全书
跳转到导航 跳转到搜索

[1][2]

参考[编辑]

  • 唐稚松. 时序逻辑程序设计与软件工程(上). 北京: 科学出版社. 1999. ISBN 7-03-007006-2 (中文(简体)). 
  • 高华. 红太阳是怎样升起的. 香港: 中文大学出版社. 2000. ISBN 962-201-920-X (中文(繁体)). 
  • 唐稚松等. 时序逻辑程序设计与软件工程. 下册, 软件工程方法与工具. 北京: 科学出版社. 2002. ISBN 7-03-009928-1 (中文(简体)). 
  • 唐稚松等. 时序逻辑程序设计与软件工程. 下册, 软件工程方法与工具. 北京: 科学出版社. 2002. ISBN 7-03-009928-1 (中文(简体)). 
  1. ^ 唐稚松 1999,第23页.
  2. ^ 高华 2000,第23页.