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

| |

Type	Book
ชื่อเรื่อง	Verifiable programming / Ole-Johan Dahl
ผู้แต่ง	Dahl, Ole-johan
ISBN	0139510621 (pbk)
พิมพลักษณ์	New York : Prentice Hall, c1992
รูปเล่ม	269 p. : ill
หัวเรื่อง	Verification of computer programs

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