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

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

Select Page | Deselect Page |

ประเภทสื่อ	Book
ชื่อเรื่อง	Formal approaches to software testing [electronic resource] : Third International Workshop on Form...
ชื่อผู้แต่ง	Fates 2003 (2003 : Montreal, Quebec)
พิมพลักษณ์	Berlin ; New York : Springer-Verlag, c2004.
เลขเรียก	QA76.9.F67 F52 2003eb
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

ประเภทสื่อ	Book
ชื่อเรื่อง	Integrated formal methods [electronic resource] : 4th international conference, IFM 2004, Canterbu...
ชื่อผู้แต่ง	International conference on integrated formal methods (4th : 2004 : Canterbury, England)
พิมพลักษณ์	New York, NY : Springer-Verlag Berlin Heidelberg, 2004.
เลขเรียก	QA76.9.F67 I58 2004eb
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์