| Type |  Book |
| ชื่อเรื่อง | Formal methods applied to complex systems [electronic resource] : implementation of the B Method / edited by Jean-Louis Boulanger |
| ISBN | 9781119002727 (online) |
| | 9781848217096 |
| พิมพลักษณ์ | Hoboken, New Jersey : Wiley, 2014 |
| รูปเล่ม | 1 computer file |
| ลิงค์ | Wiley Online Library |
| หัวเรื่อง | B method (Computer science) |
| | Formal methods (Computer science) |