International B Conference (2nd 1998 Montpellier, France)

Identifiers

Open LibraryOL224563A

Top Subjects

B method (Computer science) -- Congresses (1)
Debugging in computer science -- Congresses (1)

Books by International B Conference (2nd 1998 Montpellier, France)

Total count: 1

B'98recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings

Springer1998-01-01