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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Book
ชื่อเรื่อง	Compiler specification and verification / Wolfgang Polak.
ชื่อผู้แต่ง	Polak, Wolfgang.
พิมพลักษณ์	Berlin : Springer-Verlag, c1981.
เลขเรียก	QA76.76.C65 P64 1981
ห้องสมุด	มหาวิทยาลัยศิลปากร

2

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

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Program construction and verification / Roland C. Backhouse.
ชื่อผู้แต่ง	Backhouse, Roland c. (roland carl)
พิมพลักษณ์	Englewood Cliffs, N.J. : Prentice Hall International, c1986.
เลขเรียก	QA76.7 B32 1986
ห้องสมุด	มหาวิทยาลัยศิลปากร

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Programming logics : an introduction to verification and semantics / Raymond D. Gumb.
ชื่อผู้แต่ง	Gumb, Raymond d.
พิมพลักษณ์	New York : John Wiley, c1989.
เลขเรียก	QA76.76.V47 G85 1989
ห้องสมุด	มหาวิทยาลัยศิลปากร มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

5

ประเภทสื่อ	Book
ชื่อเรื่อง	Softwarw verification and validation : realistic project appoaches / Michael S. Deutsch.
ชื่อผู้แต่ง	Deutsch, Michael S.
พิมพลักษณ์	Englewood Cliffs,N.J. : Prentice-Hall, c1982.
เลขเรียก	QA76.6 D48 1982
ห้องสมุด	มหาวิทยาลัยศิลปากร

1

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