ศูนย์ข้อมูลการวิจัย Digital "วช."

A formal approach to program verification

ชื่อเรื่อง :

A formal approach to program verification

ปี :

2001

หมวด :

วิทยานิพนธ์

ผู้แต่ง :

Chatchai Koetsawat

ผู้แต่งร่วม :

Chatchai Koetsawat. 2001. A formal approach to program verification. Field of Study Computational Science, Chulalongkorn University;

Chatchai Koetsawat. (2001) A formal approach to program verification . Chulalongkorn University/Bangkok.

Chatchai Koetsawat. A formal approach to program verification. . Bangkok:Chulalongkorn University, 2001.

Chatchai Koetsawat. (2001) A formal approach to program verification . Chulalongkorn University/Bangkok.

เอกสารดาวน์โหลด

- ไม่พบเอกสารดิจิตอล -

จำนวนดาวน์โหลด

Abstract :

Full-Text :

Digital File :

จำนวนดาวน์โหลดเพื่อใช้ประโยชน์

นโยบาย :

วิชาการ :

สังคม/ชุมชน :

พาณิชย์/อุตสาหกรรม :

Witoon Reewarabundith

Rachaphon Ma-in

Sutep Thongyoo

สำนักงานการวิจัยแห่งชาติ (วช.)	National Research Council of Thailand (NRCT)
196 ถนนพหลโยธิน เขตจตุจักร กรุงเทพฯ 10900	196 Paholyotin rd., Chatuchak, Bangkok 10900
โทร. 02-561-2445 ต่อ 711, 712 \| dric@nrct.go.th	Tel.02-561-2445 ext. 712, 714 \| dric@nrct.go.th