Thailand Union Catalog

ผลการค้นหา

Found: 2  ชื่อเรื่อง เรียงลำดับโดย: แสดง:   ต่อหน้า List(0)
Select Page   |  Deselect Page   |   ส่งออก   |  เคลียร์
1
image
ประเภทสื่อ 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
image
ประเภทสื่อ Book
ชื่อเรื่องFormal methods of program verification and specification / H.K. Berg... [et al.]
ชื่อผู้แต่งBerg, Helmut k
พิมพลักษณ์New Jersey : Prentic-Hall, c1982
เลขเรียกQA76.6 BER 1982
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
© 2013-2019 UCTAL. All Rights Reserved.
สนับสนุนโดย สำนักงานบริหารเทคโนโลยีสารสนเทศเพื่อพัฒนาการศึกษา กระทรวงการอุดมศึกษา วิทยาศาสตร์ วิจัยและนวัตกรรม ThaiLIS | Power by สำนักงานบริหารเทคโนโลยีสารสนเทศเพื่อพัฒนาการศึกษา
| | Help & Instruction