| Type |  Book |
| ชื่อเรื่อง | Concise guide to formal methods : theory, fundamentals and industry applications / Gerard O'Regan |
| ผู้แต่ง | O'regan, Gerard (cornelius gerard) |
| ISBN | 9783319640204 (pbk.) |
| พิมพลักษณ์ | Cham: Springer, c2017 |
| รูปเล่ม | 312 p. : ill |
| หัวเรื่อง | Formal methods (Computer science) |