儲存已註記</a>
<span name='save_page_btn1' id='save_page_btn1' style='visibility: visible' ><a href= 儲存本頁所有記錄
作者 (1-2 之 2)
International Conference of Z Users (11th : 1998 : Berlin, Germany)
1
book jacket

ZUM '98, the Z formal specification notation 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : pro[o]ceedings
International Conference of Z Users (11th : 1998 : Berlin, Germany)
Berlin ; New York : Springer, c1998
c1998
電子書

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

ZUM '98, the Z formal specification notation : 11th international conference of z users, Berlin, Germany, September 24-26, 1998 : proceedings
International Conference of Z Users (11th : 1998 : Berlin, Germany)
Berlin ; New York : Springer, c1998
c1998
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro C0 Z11 1998  LNCS 1493    館內使用    30330000130927
儲存已註記</a>
<span name='save_page_btn2' id='save_page_btn2' style='visibility: visible' ><a href= 儲存本頁所有記錄