模板: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頁.