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

| |

Type	Book
ชื่อเรื่อง	Programming logics : an introduction to verification and semantics / Raymond D. Gumb
ผู้แต่ง	Gumb, Raymond d
ISBN	0-471-60539-5
พิมพลักษณ์	New York : John Wiley, c1989
รูปเล่ม	334 p
หัวเรื่อง	Computer programs
	Computer programs --Verification []
	Programming languages (Electronic computers)
	Programming languages (Electronic computers) --Semantics []

1	มหาวิทยาลัยศิลปากร ตำบล สนามจันทร์ อำเภอเมือง จ.นครปฐม 73000 Loading items...
2	มหาวิทยาลัยเกษตรศาสตร์ 50 ถนนงามวงศ์วาน แขวงลาดยาว เขตจตุจักร กรุงเทพฯ 10900 Loading items...
3	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี 126 ถนนประชาอุทิศ แขวงบางมด เขตทุ่งครุ กรุงเทพฯ 10140 Loading items...