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

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

Select Page | Deselect Page |

ประเภทสื่อ	Book
ชื่อเรื่อง	Computer aided verification : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12,...
ชื่อผู้แต่ง	International Conference on Computer Aided Verification (15th : 2003 : Boulder, Colo.)
พิมพลักษณ์	Berlin : Springer, c2003.
เลขเรียก	005.14 I61C 2003
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

ประเภทสื่อ	Book
ชื่อเรื่อง	Model checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : pro...
ชื่อผู้แต่ง	International SPIN Workshop (10th : 2003 : Portland, Or.)
พิมพลักษณ์	Berlin : Springer, c2003.
เลขเรียก	005.14 I61M 2003
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย