Research Catalog
B'98 : recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings
- Title
- 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.)
- Author
- International B Conference (2nd : 1998 : Montpellier, France)
- Publication
- Berlin ; New York : Springer, c1998.
Items in the Library & Off-site
Filter by
1 Item
Status | Format | Access | Call Number | Item Location |
---|---|---|---|---|
Book/Text | Request in advance | JSE 98-776 | Offsite |
Details
- Additional Authors
- Bert, Didier.
- Description
- viii, 311 p.; 24 cm.
- Alternative Title
- Recent advances in the development and use of the B method
- Subject
- Bibliography (note)
- Includes bibliographical references and index.
- Call Number
- JSE 98-776
- ISBN
- 3540644059 (pbk. : alk. paper)
- LCCN
- 98018094
- OCLC
- 38964108
- Conference
- International B Conference (2nd : 1998 : Montpellier, France)
- Title
- 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.)
- Imprint
- Berlin ; New York : Springer, c1998.
- Bibliography
- Includes bibliographical references and index.
- Added Author
- Bert, Didier.
- Research Call Number
- JSE 98-776