Record:   Prev Next
作者 International Conference of Z Users (9th : 1995 : Limerick, Ireland)
書名 ZUM '95, the Z formal specification notation : 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings / Jonathan P. Bowen, Michael G. Hinchey, eds
出版項 Berlin ; New York : Springer, c1995
國際標準書號 3540602712 (alk. paper)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro C0 Z11 1995  LNCS 967    館內使用    30330000105366
Record:   Prev Next