International Conference of B and Z Users (2nd 2002 Grenoble, France)

Identifiers

Open LibraryOL1482723A

Top Subjects

Z (Computer program language) -- Congresses (1)
B (Computer program language) -- Congresses (1)

Books by International Conference of B and Z Users (2nd 2002 Grenoble, France)

Total count: 1

ZB 2002: formal specification and development in Z and B2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings

Springer2002-01-01