| Type |  Book |
| ชื่อเรื่อง | 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 |
| ผู้แต่ง | International B Conference (2nd : 1998 : Montpellier, France) |
| ISBN | 3540644059 (pbk.) |
| พิมพลักษณ์ | Berlin : Springer, c1998 |
| รูปเล่ม | 311 p |
| หัวเรื่อง | B method (Computer science) --Congresses [] |
| | Debugging in computer science --Congresses [] |