記錄 2 之 2
Record:   Prev Next
作者 International Conference of Z Users (11th : 1998 : Berlin, Germany)
書名 ZUM '98, the Z formal specification notation : 11th international conference of z users, Berlin, Germany, September 24-26, 1998 : proceedings / Jonathan P. Bowen, Andreas Fett and Michael G. Hinchey (eds.)
出版項 Berlin ; New York : Springer, c1998
國際標準書號 3540650709
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro C0 Z11 1998  LNCS 1493    館內使用    30330000130927
說明 xv, 415 p. : ill., charts ; 24 cm
系列 Lecture notes in computer science ; 1493
附註 Includes bibliographical references and index
Also available online
主題 Z (Computer program language) -- Congresses
System specification methodology iisf
Alt Author Bowen, J. P. (Jonathan Peter), 1956-
Fett, Andreas
Hinchey, Michael G. (Michael Gerard), 1969-
Alt Title Z formal specification notation
記錄 2 之 2
Record:   Prev Next