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

Found: 2 ชื่อเรื่อง เรียงลำดับโดย: แสดง: ต่อหน้า

Select Page | Deselect Page |

ประเภทสื่อ	Book
ชื่อเรื่อง	Formal methods of program verification and specification / by H.K. Berg...[et al.]
พิมพลักษณ์	Englewood Cliffs, N.J. : Prentice-Hall, c1982.
เลขเรียก	QA76.6 B47 1982
ห้องสมุด	มหาวิทยาลัยศิลปากร

ประเภทสื่อ	Book
ชื่อเรื่อง	Specification case studies / edited by Ian Hayes ; with contributions by Bill Flinn ... [et al.].
พิมพลักษณ์	New York : Prentice Hall, 1993.
เลขเรียก	QA76.6 .S63 1993
ห้องสมุด	มหาวิทยาลัยศิลปากร มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยรามคำแหง มหาวิทยาลัยศรีนครินทรวิโรฒ