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

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

List(0)

Select Page | Deselect Page |

ส่งออก | เคลียร์

1

ประเภทสื่อ	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
ห้องสมุด	มหาวิทยาลัยศิลปากร

2

ประเภทสื่อ	Book
ชื่อเรื่อง	Software specification techniques / edited by Narain Gehani, Andrew McGettrick.
พิมพลักษณ์	Workingham, England : Addison-Wesley, c1986.
เลขเรียก	QA76.6 S64 1986
ห้องสมุด	มหาวิทยาลัยศิลปากร มหาวิทยาลัยรามคำแหง

3

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

1

ส่งข้อเสนอแนะ/ปัญหา