Please use this identifier to cite or link to this item:
https://cuir.car.chula.ac.th/handle/123456789/60323
| Title: | การทวนสอบเชิงรูปนัย |
| Other Titles: | Formal Verification |
| Authors: | วิวัฒน์ วัฒนาวุฒิ |
| Email: | Wiwat.V@Chula.ac.th,wiwatv@gmail.com,wiwat@chula.ac.th |
| Subjects: | การทวนสอบ วิธีรูปนัย (วิทยาการคอมพิวเตอร์) สัญลักษณ์ตรรกศาสตร์และคณิตตรรกศาสตร์ |
| Issue Date: | 2561 |
| Publisher: | ภาควิชาวิศวกรรมคอมพิวเตอร์ คณะวิศวกรรมศาสตร์ จุฬาลงกรณ์มหาวิทยาลัย |
| Description: | แนะนำการทวนสอบเชิงรูปนัย -- ความรู้พื้นฐานด้านคณิตตรรกศาสตร์ -- ตรรกศาสตร์เชิงเวลา -- สร้างแบบจำลองเชิงรูปนัยด้วยภาษาเชิงรูปนัย -- สร้างแบบจำลองเชิงรูปนัยด้วยแผนภาพ -- การทวนสอบด้วยการพิสูจน์ทฤษฎีบท -- การทวนสอบด้วยโมเดลเช็กกิง |
| URI: | http://cuir.car.chula.ac.th/handle/123456789/60323 |
| URI: | http://doi.org/10.58837/CHULA.BOOK.2018.4 |
| ISBN: | 9786164745438 |
| metadata.dc.identifier.DOI: | 10.58837/CHULA.BOOK.2018.4 |
| Type: | Book |
| Appears in Collections: | Eng - Books |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Formal Verification_Wiwat Vatanawood.pdf | หนังสืออิเล็กทรอนิกส์ (E-Book) | 5.17 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.