儲存已註記</a>
<span name='save_page_btn1' id='save_page_btn1' style='visibility: visible' ><a href= 儲存本頁所有記錄
作者 (1-2 之 2)
Apt, Krzysztof R
1
book jacket

New trends in constraints joint ERCIM/Compulog Net workshop, Paphos, Cyprus, October 25-27, 1999 : selected papers

Berlin ; New York : Springer, c2000
c2000
電子書

館藏地: 中央研究院
2
book jacket

Verification of sequential and concurrent programs
Apt, Krzysztof R
London : Springer-Verlag London, 2009
2009
電子書

館藏地: 中央研究院
儲存已註記</a>
<span name='save_page_btn2' id='save_page_btn2' style='visibility: visible' ><a href= 儲存本頁所有記錄