ZUM '98 : the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedings

Author(s)

• International Conference of Z Users
• Bowen, J. P. (Jonathan Peter)
• Fett, Andreas
• Hinchey, Michael G. (Michael Gerard)

Bibliographic Information

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, Michael G. Hinchey (eds.)

（Lecture notes in computer science, 1493）

Springer, c1998

Note

Includes bibliographical references and index

Details

• NCID: BA37971066
• ISBN:
  • 3540650709
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin ; New York
• Pages/Volumes: xv, 415 p.: ill.
• Size: 24 cm
• Subject Headings:
  • LCSH : Z (Computer program language) -- Congresses
• Parent Bibliography ID:
  • BA00009279