儲存已註記</a>
<span name='save_page_btn1' id='save_page_btn1' style='visibility: visible' ><a href= 儲存本頁所有記錄
主題 (1-2 之 2)
Z (Computer program language)
1
book jacket

Refinement in Z and Object-Z foundations and advanced applications
Derrick, John
London : Springer London : Imprint: Springer, 2014
2014
電腦檔

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

Understanding Z : a specification language and its formal semantics
Spivey, J. M
Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1988
 
1988
紙本資料

館藏地: 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA76.73.Z2 S65 1988    在架上    30340200220188
儲存已註記</a>
<span name='save_page_btn2' id='save_page_btn2' style='visibility: visible' ><a href= 儲存本頁所有記錄