| Type |  Book |
| ชื่อเรื่อง | Software verification and analysis : an integrated, hands-on approach / Janusz Laski, William Stanley |
| ผู้แต่ง | Laski, Janusz |
| ISBN | 1848822391 (hbk.) |
| | 9781848822399 (hbk.) : ฿4500.00 |
| พิมพลักษณ์ | London ;New York : Springer, c2009 |
| รูปเล่ม | xviii, 224 p. : ill. ; 25 cm |
| ลิงค์ | Contents. |
| หัวเรื่อง | Computer software --Verification [] |