Please use this identifier to cite or link to this item:
https://cuir.car.chula.ac.th/handle/123456789/60323
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | วิวัฒน์ วัฒนาวุฒิ | - |
| dc.date.accessioned | 2018-09-19T08:31:48Z | - |
| dc.date.available | 2018-09-19T08:31:48Z | - |
| dc.date.issued | 2561 | - |
| dc.identifier.isbn | 9786164745438 | - |
| dc.identifier.uri | http://cuir.car.chula.ac.th/handle/123456789/60323 | - |
| dc.description | แนะนำการทวนสอบเชิงรูปนัย -- ความรู้พื้นฐานด้านคณิตตรรกศาสตร์ -- ตรรกศาสตร์เชิงเวลา -- สร้างแบบจำลองเชิงรูปนัยด้วยภาษาเชิงรูปนัย -- สร้างแบบจำลองเชิงรูปนัยด้วยแผนภาพ -- การทวนสอบด้วยการพิสูจน์ทฤษฎีบท -- การทวนสอบด้วยโมเดลเช็กกิง | en_US |
| dc.language.iso | th | en_US |
| dc.publisher | ภาควิชาวิศวกรรมคอมพิวเตอร์ คณะวิศวกรรมศาสตร์ จุฬาลงกรณ์มหาวิทยาลัย | en_US |
| dc.relation.uri | http://doi.org/10.58837/CHULA.BOOK.2018.4 | - |
| dc.rights | วิวัฒน์ วัฒนาวุฒิ | en_US |
| dc.subject | การทวนสอบ | en_US |
| dc.subject | วิธีรูปนัย (วิทยาการคอมพิวเตอร์) | en_US |
| dc.subject | สัญลักษณ์ตรรกศาสตร์และคณิตตรรกศาสตร์ | en_US |
| dc.title | การทวนสอบเชิงรูปนัย | en_US |
| dc.title.alternative | Formal Verification | en_US |
| dc.type | Book | en_US |
| dc.email.author | Wiwat.V@Chula.ac.th,wiwatv@gmail.com,wiwat@chula.ac.th | - |
| dc.identifier.DOI | 10.58837/CHULA.BOOK.2018.4 | - |
| 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.