ZB 2000
Subtitle: formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 28-September 2, 2000 : proceedings
By: Jonathan P. Bowen ... [et al.] (eds.).
Contributors: Bowen, J. P. 1956-
Series: Lecture notes in computer science -- 1878.
Publisher: Springer
Published: 2000
Place of publication: Berlin; New York
Language: eng
Number of pages: 510
Subjects: B (Computer program language) -- Congresses; Z (Computer program language) -- Congresses
Genres: Congresses.
Notes: Includes bibliographical references and index.