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)

This book presents the refereed proceedings of the Second International B Conference, B'98, held in Montpellier, France, in April 1998. The book presents 15 revised full papers selected from 29 submissions as well as four invited contributions. The B method is enjoying rapidly increasing popula...

Full description

Bibliographic Details
Corporate Authors: International B Conference Montpellier, France, SpringerLink (Online service)
Other Authors: Bert, Didier
Format: Conference Proceeding eBook
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.
B method (Computer science)
Debugging in computer science.
Electronic books.
Conference proceedings.
Online Access:Connect to the full text of this electronic book

Similar Items