| Type |  Book |
| ชื่อเรื่อง | Model-based software testing and analysis with C / Jonathan Jacky ... [et al.] |
| ISBN | 0521687616 |
| | 0521687616 (pbk.) |
| | 0521886554 (hardback) |
| | 9780521687614 |
| | 9780521687614 (pbk.) |
| | 9780521886550 (hardback) |
| พิมพลักษณ์ | New York : Cambridge University Press, 2008 |
| รูปเล่ม | xvi, 349 p. : ill. ; 25 cm |
| หัวเรื่อง | C (Computer program language) |
| | Computer software |
| | Computer software testing |
| | Computer software --Quality control [] |
| | Computer software --Testing [] |