การทวนสอบอย่างเป็นแบบแผนของข้อกำหนดที่เขียนด้วยตัวแบบการคำนวณของเหตุการณ์ไม่ต่อเนื่อง = Formal verification of specification written by discrete event calculus model / สุดารณี จันทรมานนท์

Please use this identifier to cite or link to this item: http://cmuir.cmu.ac.th/jspui/handle/6653943832/17847

Full metadata record

DC Field	Value	Language
dc.contributor.author	สุดารณี จันทรมานนท์	en_US
dc.date.accessioned	2014-09-18T03:50:12Z	-
dc.date.available	2014-09-18T03:50:12Z	-
dc.date.issued	2549	en_US
dc.identifier.govdoc	ว 004 ส442ก	en_US
dc.identifier.uri	http://search.lib.cmu.ac.th/search/?searchtype=.&searcharg=b1400134	en_US
dc.identifier.uri	http://cmuir.cmu.ac.th/handle/6653943832/17847	-
dc.language.iso	tha	en_US
dc.publisher	เชียงใหม่ : บัณฑิตวิทยาลัย มหาวิทยาลัยเชียงใหม่, 2549	en_US
dc.subject	ข้อกำหนด	en_US
dc.subject	การคำนวณ	en_US
dc.title	การทวนสอบอย่างเป็นแบบแผนของข้อกำหนดที่เขียนด้วยตัวแบบการคำนวณของเหตุการณ์ไม่ต่อเนื่อง = Formal verification of specification written by discrete event calculus model / สุดารณี จันทรมานนท์	en_US
dc.type	การค้นคว้าแบบอิสระ	en_US
Appears in Collections:	SCIENCE: Independent Study (IS)

Files in This Item:

File	Size	Format
comp0949sc_tpg.pdf	262.46 kB	Adobe PDF	View/Open Request a copy
comp0949sc_abs.pdf	181.18 kB	Adobe PDF	View/Open
comp0949sc_con.pdf	405.32 kB	Adobe PDF	View/Open Request a copy
comp0949sc_ch1.pdf	131.14 kB	Adobe PDF	View/Open Request a copy
comp0949sc_ch2.pdf	251.57 kB	Adobe PDF	View/Open Request a copy
comp0949sc_ch3.pdf	200.95 kB	Adobe PDF	View/Open Request a copy
comp0949sc_ch4.pdf	249.51 kB	Adobe PDF	View/Open Request a copy
comp0949sc_ch5.pdf	105.62 kB	Adobe PDF	View/Open Request a copy
comp0949sc_bib.pdf	79.44 kB	Adobe PDF	View/Open Request a copy
comp0949sc_app.pdf	96.47 kB	Adobe PDF	View/Open Request a copy