變更
無編輯摘要
{{cite book
|title=时序逻辑程序设计与软件工程（上）
|author1=唐稚松
|coauthors=
|editor1-last= |editor1-first= |editor1-link=
|year={{{year|1999 <!--replace this comment with the publication year--> }}}
|publisher=科学出版社
|location=北京
|isbn=7-03-007006-2
|language=zh-hans
|url=http://ishare.iask.sina.com.cn/f/10096240.html?retcode=0
|quote={{{quote|}}}
|page={{{page|}}}
|pages={{{pages|}}}
|ref={{{ref|}}}
}}
|title=时序逻辑程序设计与软件工程（上）
|author1=唐稚松
|coauthors=
|editor1-last= |editor1-first= |editor1-link=
|year={{{year|1999 <!--replace this comment with the publication year--> }}}
|publisher=科学出版社
|location=北京
|isbn=7-03-007006-2
|language=zh-hans
|url=http://ishare.iask.sina.com.cn/f/10096240.html?retcode=0
|quote={{{quote|}}}
|page={{{page|}}}
|pages={{{pages|}}}
|ref={{{ref|}}}
}}