Record:   Prev Next
作者 International Conference of Z Users (10th : 1997 : Reading, UK)
書名 ZUM '97, the Z formal specification notation : 10th International Conference of Z Users, Reading, UK, April 3-4 1997 : proceedings / Jonathan P. Bowen, Michael G. Hinchey, David Till, eds.
出版項 Berlin ; New York : Springer, c1997
國際標準書號 3540627170
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro C0 Z11 1997  LNCS 1212    館內使用    30330000120928
說明 x, 433 p. : ill. ; 24 cm
系列 Lecture notes in computer science ; 1212
附註 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-
Hinchey, Michael G. (Michael Gerard), 1969-
Till, David
Alt Title Z formal specification notation
Record:   Prev Next