Record:   Prev Next
作者 International Conference of Z Users (10th : 1997 : Reading, England)
書名 ZUM '97, the Z formal specification notation [electronic resource] : 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
國際標準書號 9783540627173 (paper)
book jacket
說明 x, 433 p. : digital ; 24 cm
Springer
系列 Lecture notes in computer science, 0302-9743 ; 1212
Host Item Springer e-books
主題 Z (Computer program language) -- Congresses
Alt Author Bowen, Jonathan Peter
Hinchey, Michael Gerard
Till, David
SpringerLink (Online service)
Alt Title Z formal specification notation
Record:   Prev Next