book cover
Type Book
ชื่อเรื่องFormal Verification การทวนสอบเชิงรูปนัย / วิวัฒน์ วัฒนาวุฒิ
ผู้แต่งวิวัฒน์ วัฒนาวุฒิ
ISBN9786164745438
พิมพลักษณ์กรุงเทพฯ : ภาควิชาวิศวกรรมศาสตร์ คณะวิศวกรรมศาสตร์ จุฬาลงกรณ์มหาวิทยาลัย, 2561
ครั้งที่พิมพ์พิมพ์ครั้งที่ 1
รูปเล่ม239 หน้า : ภาพประกอบ; 21 ซม
หัวเรื่องวิธีรูปนัย (วิทยาการคอมพิวเตอร์)
 การทวนสอบ (ตรรกวิทยา)
 การทวนสอบ
 สัญลักษณ์ตรรกศาสตร์และคณิตตรรกศาสตร์
 การทวนสอบ, วิธีเชิงรูปนัย(คอมพิวเตอร์)
 การสร้างแบบจำลอง(คอมพิวเตอร์)

1

Loading items...

2

Loading items...

3

Loading items...

4

Loading items...

5

Loading items...


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