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

1
 มหาวิทยาลัยเทคโนโลยีราชมงคลกรุงเทพ

2 ถนนนางลิ้นจี่ แขวงทุ่งมหาเมฆ เขตสาทร กรุงเทพมหานคร 10120

Loading items...

2
 จุฬาลงกรณ์มหาวิทยาลัย

254 ถนนพญาไท แขวงวังใหม่ เขตปทุมวัน กรุงเทพมหานคร 10330

Loading items...

3
 มหาวิทยาลัยบูรพา

169 ถนนลงหาดบางแสน ต.แสนสุข อ.เมือง จ. ชลบุรี 20131

Loading items...

4
 มหาวิทยาลัยเทคโนโลยีราชมงคลธัญบุรี

39 หมู่ที่ 1 ตำบลคลองหก อำเภอคลองหลวง จังหวัดปทุมธานี 12110

Loading items...

5
 มหาวิทยาลัยศรีนครินทรวิโรฒ

114 สุขุมวิท 23 แขวงคลองเตยเหนือ เขตวัฒนา กรุงเทพฯ 10110

Loading items...

6
 มหาวิทยาลัยทักษิณ

140 ถ.กาญจนวนิช ม.4 ต.เขารูปช้าง อ.เมือง จ.สงขลา 90000

Loading items...


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