| Type |  Book |
| ชื่อเรื่อง | Modeling in Event-B : system and software engineering / Jean-Raymond Abrial |
| ผู้แต่ง | Abrial, Jean-raymond |
| ISBN | 9780521895569 |
| พิมพลักษณ์ | Cambridge : Cambridge University Press, c2010 |
| รูปเล่ม | 586 p. : ill |
| หัวเรื่อง | B method (Computer science) |
| | Computer science |
| | Computer systems |
| | Formal methods (Computer science) |