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
- New York : Springer, 1998.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | QA76.9.B22 I57 1998 | Off-site |
Holdings
Details
- Additional Authors
- Bert, Didier.
- Description
- viii, 311 pages : illustrations; 24 cm.
- Series Statement
- Lecture notes in computer science ; 1393
- Uniform Title
- Lecture notes in computer science ; 1393.
- Alternative Title
- Recent advances in the development and use of the B method
- Subjects
- Bibliography (note)
- Includes bibliographical references and index.
- ISBN
- 3540644059 (pbk. : alk. paper)
- LCCN
- 98018094
- OCLC
- 504313897
- ocn504313897
- Owning Institutions
- Columbia University Libraries