การทวนสอบเชิงรูปนัย

วิวัฒน์ วัฒนาวุฒิ

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