|aInternational Conference of Z Users|n(11th :|d1998 :|cBerlin, Germany)
245
10
|aZUM '98, the Z formal specification notation|h[electronic resource] :|b11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : pro[o]ceedings /|cJonathan P. Bowen, Andreas Fett, Michael G. Hinchey (eds)
246
30
|aZ formal specification notation.
260
|aBerlin ;|aNew York :|bSpringer,|cc1998.
300
|axv, 415 p. :|bill., digital ;|c24 cm.
440
0
|aLecture notes in computer science ;|v1493
650
0
|aZ (Computer program language)|xCongresses.
700
1
|aBowen, Jonathan Peter.
700
1
|aFett, Andreas.
700
1
|aHinchey, Michael G.
710
2
|aSpringerLink (Online service)
773
0
|tSpringer e-books
856
40
|uhttp://dx.doi.org/10.1007/BFb0056020
950
|aComputer Science (Lecture Notes in Computer Science)