หน้าหลัก
สถิติ
รายงานสถิติ
รายการขอยืมที่กำลังดำเนินการ
รายงาน
เข้าสู่ระบบ
ลงทะเบียน
ภาษาไทย
English
ค้นหา
ทั้งหมด
ชื่อเรื่อง
ชื่อผู้แต่ง
หัวเรื่อง
แท็ก
ISBN/ISSN
Call number LC
Call number DC
Call number NLM
Search within results
New search
คำค้น
Location
มหาวิทยาลัยวลัยลักษณ์
Subject
Computer software -- Verification
ปีที่พิมพ์
2004 (3)
2001 (1)
ประเภทสื่อ
Computer File (1)
Book (3)
ภูมิภาค
ภาคใต้ (4)
ห้องสมุด
มหาวิทยาลัยวลัยลักษณ์ (4)
ภาษา
eng (4)
ผลการค้นหา
Found:
4
ชื่อเรื่อง เรียงลำดับโดย:
Relevance
Title A-Z
Pub date (newest)
Pub date (oldest)
Author A-Z
Call Number
แสดง
:
5
10
15
20
25
30
ต่อหน้า
List(0)
Select Page
|
Deselect Page
|
ส่งออก
|
เคลียร์
1
ประเภทสื่อ
Computer File
ชื่อเรื่อง
Active-HDL 6.3 [electronic resource] : complete FPGA verification environment.
พิมพลักษณ์
Upper Saddle River, N.J. : Pearson/Prentice Hall, c2004.
ห้องสมุด
มหาวิทยาลัยวลัยลักษณ์
2
ประเภทสื่อ
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
ประเภทสื่อ
Book
ชื่อเรื่อง
Numerical software with result verification [electronic resource] : international Dagstuhl seminar...
พิมพลักษณ์
Berlin ; New York : Springer, c2004.
เลขเรียก
QA297 N867 2004eb
ห้องสมุด
มหาวิทยาลัยวลัยลักษณ์
4
ประเภทสื่อ
Book
ชื่อเรื่อง
Software verification and validation for practitioners and managers [electronic resource] / Steven...
ชื่อผู้แต่ง
Rakitin, Steven r.
พิมพลักษณ์
Boston : Artech House, c2001.
เลขเรียก
QA76.76.V47 R35 2001eb
ห้องสมุด
มหาวิทยาลัยวลัยลักษณ์
1
Loading...
ส่งข้อเสนอแนะ/ปัญหา