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

Author(s)

• International B Conference
• Bert, Didier

Bibliographic Information

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

Didier Bert (ed.)

（Lecture notes in computer science, 1393）

Springer, c1998

Note

Includes bibliographical references and index

• NCID: BA35677782
• ISBN:
  • 3540644059
• LCCN: 98018094
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin
• Pages/Volumes: viii, 311 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.9.B22
  • DC21 : 005.1/4
• Subject Headings:
  • LCSH : B method (Computer science) -- Congresses
  • LCSH : Debugging in compuer science) -- Congresses
• Parent Bibliography ID:
  • BA00009279