สหบรรณานุกรมห้องสมุดสถาบันอุดมศึกษาไทย

| |

Type	Book
ชื่อเรื่อง	Formal methods of program verification and specification / H.K. Berg... [et al.]
ผู้แต่ง	Berg, Helmut k
ISBN	0133288072
พิมพลักษณ์	New Jersey : Prentic-Hall, c1982
รูปเล่ม	207 p. : ill
หัวเรื่อง	Verification of computer programs

1	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี 126 ถนนประชาอุทิศ แขวงบางมด เขตทุ่งครุ กรุงเทพฯ 10140 Loading items...