Found: 4  ชื่อเรื่อง เรียงลำดับโดย: แสดง:   ต่อหน้า List(0)
1
image
ประเภทสื่อ Computer File
ชื่อเรื่องActive-HDL 6.3 [electronic resource] : complete FPGA verification environment.
พิมพลักษณ์Upper Saddle River, N.J. : Pearson/Prentice Hall, c2004.
ห้องสมุดมหาวิทยาลัยวลัยลักษณ์
2
image
ประเภทสื่อ Book
ชื่อเรื่องModel checking software [electronic resource] : 11th International SPIN Workshop, Barcelona, Spain...
ชื่อผู้แต่งInternational spin workshop (11th : 2004 : Barcelona, Spain)
พิมพลักษณ์Berlin ; New York : Springer, c2004.
เลขเรียกQA76.76.V47 I58 2004eb
ห้องสมุดมหาวิทยาลัยวลัยลักษณ์
3
image
ประเภทสื่อ Book
ชื่อเรื่องNumerical software with result verification [electronic resource] : international Dagstuhl seminar...
พิมพลักษณ์Berlin ; New York : Springer, c2004.
เลขเรียกQA297 N867 2004eb
ห้องสมุดมหาวิทยาลัยวลัยลักษณ์
4
image
ประเภทสื่อ Book
ชื่อเรื่องSoftware verification and validation for practitioners and managers [electronic resource] / Steven...
ชื่อผู้แต่งRakitin, Steven r.
พิมพลักษณ์Boston : Artech House, c2001.
เลขเรียกQA76.76.V47 R35 2001eb
ห้องสมุดมหาวิทยาลัยวลัยลักษณ์

© 2013-2019 UCTAL. All Rights Reserved.
สนับสนุนโดย สำนักงานบริหารเทคโนโลยีสารสนเทศเพื่อพัฒนาการศึกษา กระทรวงการอุดมศึกษา วิทยาศาสตร์ วิจัยและนวัตกรรม ThaiLIS | Power by สำนักงานบริหารเทคโนโลยีสารสนเทศเพื่อพัฒนาการศึกษา