| Titel | ISBN-13 (ISBN-10) | Erscheinungsjahr |
|---|---|---|
| B'98: Recent Advances in the Development and Use of the B Method: Second International B Conference, Montpellier, France, April 22-24, 1998, ... Notes in Computer Science , Band 1393) | 978-3-54O-644O5-7 (3-54O-644O5-9) | 2008 |
B.-D · B. Didier · Didier Bert