記錄 1 之 2
Record:   Prev Next
作者 International Conference of Z Users (11th : 1998 : Berlin, Germany)
書名 ZUM '98, the Z formal specification notation [electronic resource] : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : pro[o]ceedings / Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey (eds)
出版項 Berlin ; New York : Springer, c1998
國際標準書號 9783540650706 (paper)
book jacket
說明 xv, 415 p. : ill., digital ; 24 cm
Springer
系列 Lecture notes in computer science ; 1493
Host Item Springer e-books
主題 Z (Computer program language) -- Congresses
Alt Author Bowen, Jonathan Peter
Fett, Andreas
Hinchey, Michael G
SpringerLink (Online service)
Alt Title Z formal specification notation
記錄 1 之 2
Record:   Prev Next