| Type |  Book |
| ชื่อเรื่อง | ข้อกำหนดรูปนัยเพื่อทวนสอบแผนภาพกิจกรรมของกระแสกระบวนการ / เจริญศักดิ์ นาคงาม = Formal specification for verifying activity diagram of process flow / Charoensak Narkngam |
| ผู้แต่ง | เจริญศักดิ์ นาคงาม |
| พิมพลักษณ์ | 2554 |
| รูปเล่ม | ก-ฐ, 89 แผ่น : ภาพประกอบ, แผนภูมิ |
| หัวเรื่อง | Business --Data processing [] |
| | Computer software --Quality control [] |
| | Domain-specific programming languages |
| | Dsl (Computer program language) |
| | ซอฟต์แวร์ --การควบคุมคุณภาพ [] |
| | ภาษาจำเพาะโดเมน |
| | ธุรกิจ --การประมวลผลข้อมูล [] |