Cover Image

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

Show other versions (1)
Bibliographic Details
Corporate Author: International B Conference Montpellier, France
Other Authors: Bert, Didier
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer, [1998]
Series:Lecture notes in computer science ; 1393.
Subjects:
B method (Computer science) > Congresses.
Debugging in computer science > Congresses.

Remote Storage

Holdings details from Remote Storage
Call Number: QA76.9.B22 I57 1998
 
Call Number Status Get It
QA76.9.B22 I57 1998 Available