| Type |  Book |
| ชื่อเรื่อง | Formal methods in computer science / Jiacun Wang and William Tepfenhart |
| ผู้แต่ง | Wang, Jiacun 1963- |
| ISBN | 9781498775328 (pbk.) |
| พิมพลักษณ์ | Boca Raton : CRC Press, c2020 |
| รูปเล่ม | 294 p. : ill |
| หัวเรื่อง | Formal methods (Computer science) |